2023-03-18 04:19:04 +00:00
|
|
|
# Python imports
|
|
|
|
|
|
|
|
# Lib imports
|
|
|
|
import gi
|
|
|
|
gi.require_version('Gtk', '3.0')
|
2023-03-20 05:18:49 +00:00
|
|
|
gi.require_version('Gdk', '3.0')
|
2023-03-18 04:19:04 +00:00
|
|
|
from gi.repository import Gtk
|
2023-03-20 05:18:49 +00:00
|
|
|
from gi.repository import Gdk
|
|
|
|
from gi.repository import Gio
|
2023-03-18 04:19:04 +00:00
|
|
|
|
|
|
|
# Application imports
|
2023-03-21 03:19:20 +00:00
|
|
|
from .editor_controller import EditorControllerMixin
|
2023-03-18 04:19:04 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
2023-03-21 03:19:20 +00:00
|
|
|
# NOTE: https://github.com/Axel-Erfurt/TextEdit/tree/b65f09be945196eb05bef83d81a6abcd129b4eb0
|
2023-11-02 06:29:50 +00:00
|
|
|
class EditorNotebook(EditorControllerMixin, Gtk.Notebook):
|
2023-03-26 06:07:35 +00:00
|
|
|
ccount = 0
|
|
|
|
|
|
|
|
def __new__(cls, *args, **kwargs):
|
|
|
|
obj = super(EditorNotebook, cls).__new__(cls)
|
|
|
|
cls.ccount += 1
|
|
|
|
|
|
|
|
return obj
|
|
|
|
|
2023-03-18 04:19:04 +00:00
|
|
|
def __init__(self):
|
|
|
|
super(EditorNotebook, self).__init__()
|
|
|
|
|
2023-09-11 00:54:35 +00:00
|
|
|
self.NAME = f"notebook_{self.ccount}"
|
2023-10-03 23:22:36 +00:00
|
|
|
self.builder = settings_manager.get_builder()
|
2023-03-26 06:07:35 +00:00
|
|
|
self.is_editor_focused = False
|
|
|
|
|
2023-09-11 00:54:35 +00:00
|
|
|
self.set_group_name("editor_widget")
|
2023-03-26 06:07:35 +00:00
|
|
|
self.builder.expose_object(self.NAME, self)
|
2023-03-18 07:25:04 +00:00
|
|
|
|
2023-03-18 04:19:04 +00:00
|
|
|
self._setup_styling()
|
|
|
|
self._setup_signals()
|
2023-03-18 07:25:04 +00:00
|
|
|
self._subscribe_to_events()
|
2023-03-18 04:19:04 +00:00
|
|
|
self._load_widgets()
|
|
|
|
|
|
|
|
self.show_all()
|
|
|
|
|
2023-04-03 01:46:50 +00:00
|
|
|
if self.NAME == "notebook_1":
|
|
|
|
self.is_editor_focused = True
|
|
|
|
|
2023-03-26 06:07:35 +00:00
|
|
|
if self.NAME == "notebook_2":
|
|
|
|
self.hide()
|
|
|
|
|
2023-03-18 04:19:04 +00:00
|
|
|
|
|
|
|
def _setup_styling(self):
|
2023-03-18 07:25:04 +00:00
|
|
|
self.set_scrollable(True)
|
2023-10-07 22:19:14 +00:00
|
|
|
self.set_vexpand(True)
|
|
|
|
self.set_hexpand(True)
|
2023-03-18 04:19:04 +00:00
|
|
|
|
|
|
|
def _setup_signals(self):
|
2023-03-23 04:03:16 +00:00
|
|
|
self.connect("switch-page", self._switch_page_update)
|
2023-11-02 06:29:50 +00:00
|
|
|
self.connect("key-press-event", self._key_press_event)
|
|
|
|
self.connect("key-release-event", self._key_release_event)
|
2023-03-18 04:19:04 +00:00
|
|
|
|
2023-03-18 07:25:04 +00:00
|
|
|
def _subscribe_to_events(self):
|
2023-03-26 06:07:35 +00:00
|
|
|
event_system.subscribe("create_view", self._create_view)
|
2023-03-18 07:25:04 +00:00
|
|
|
event_system.subscribe("set_buffer_style", self.action_controller)
|
|
|
|
event_system.subscribe("set_buffer_language", self.action_controller)
|
2023-10-19 02:15:36 +00:00
|
|
|
event_system.subscribe("focused_target_changed", self._focused_target_changed)
|
2023-11-02 06:29:50 +00:00
|
|
|
|
2023-03-22 07:12:40 +00:00
|
|
|
event_system.subscribe("keyboard_open_file", self._keyboard_open_file)
|
2023-03-18 22:04:31 +00:00
|
|
|
event_system.subscribe("keyboard_scale_up_text", self._keyboard_scale_up_text)
|
|
|
|
event_system.subscribe("keyboard_scale_down_text", self._keyboard_scale_down_text)
|
2023-03-26 06:07:35 +00:00
|
|
|
|
2023-11-02 06:29:50 +00:00
|
|
|
# event_system.subscribe("keyboard_save_file_as", self._keyboard_save_file_as)
|
|
|
|
|
|
|
|
|
|
|
|
def _load_widgets(self):
|
|
|
|
self._add_action_widgets()
|
|
|
|
if self.NAME == "notebook_1" and not settings_manager.is_starting_with_file():
|
|
|
|
self.create_view()
|
|
|
|
|
|
|
|
def _dbl_click_create_view(self, notebook, eve):
|
|
|
|
if eve.type == Gdk.EventType.DOUBLE_BUTTON_PRESS and eve.button == 1: # l-click
|
|
|
|
...
|
2023-03-26 06:07:35 +00:00
|
|
|
|
|
|
|
def _focused_target_changed(self, target):
|
|
|
|
self.is_editor_focused = True if target == self.NAME else False
|
2023-03-18 07:25:04 +00:00
|
|
|
|
|
|
|
def _add_action_widgets(self):
|
|
|
|
start_box = Gtk.Box()
|
|
|
|
end_box = Gtk.Box()
|
|
|
|
|
|
|
|
add_btn = Gtk.Button()
|
|
|
|
add_btn.set_image( Gtk.Image.new_from_icon_name("add", 4) )
|
|
|
|
add_btn.set_always_show_image(True)
|
|
|
|
add_btn.connect("released", self.create_view)
|
|
|
|
|
|
|
|
end_box.add(add_btn)
|
|
|
|
|
|
|
|
start_box.show_all()
|
|
|
|
end_box.show_all()
|
|
|
|
|
|
|
|
# PACKTYPE: 0 Start, 1 = End
|
|
|
|
self.set_action_widget(start_box, 0)
|
|
|
|
self.set_action_widget(end_box, 1)
|
|
|
|
|
2023-03-23 04:03:16 +00:00
|
|
|
def _switch_page_update(self, notebook, page, page_num):
|
|
|
|
source_view = page.get_source_view()
|
|
|
|
gfile = source_view.get_current_file()
|
2023-10-07 19:51:12 +00:00
|
|
|
|
2023-09-11 00:54:35 +00:00
|
|
|
if not gfile:
|
2023-03-26 06:07:35 +00:00
|
|
|
event_system.emit("set_path_label", ("",))
|
|
|
|
event_system.emit("set_file_type_label", (source_view._current_filetype,))
|
2023-09-11 00:54:35 +00:00
|
|
|
else:
|
|
|
|
source_view.load_file_info(gfile)
|
|
|
|
source_view.update_cursor_position()
|
|
|
|
source_view.set_bottom_labels(gfile)
|
2023-03-23 04:03:16 +00:00
|
|
|
|
2023-10-07 19:51:12 +00:00
|
|
|
event_system.emit(f"set_source_view", (source_view,))
|
|
|
|
|
2023-09-13 03:14:31 +00:00
|
|
|
def _create_view(self, gfile = None, line: int = 0):
|
2023-03-26 06:07:35 +00:00
|
|
|
if not self.is_editor_focused: # TODO: Find way to converge this
|
|
|
|
return
|
2023-03-18 04:19:04 +00:00
|
|
|
|
2023-03-26 06:07:35 +00:00
|
|
|
if isinstance(gfile, str):
|
2023-09-13 03:14:31 +00:00
|
|
|
parts = gfile.split(":")
|
|
|
|
gfile = Gio.File.new_for_path(parts[0])
|
|
|
|
try:
|
|
|
|
line = int(parts[1]) if len(parts) > 1 else 0
|
2023-10-13 03:22:19 +00:00
|
|
|
except Exception:
|
2023-09-13 03:14:31 +00:00
|
|
|
...
|
|
|
|
|
|
|
|
self.create_view(None, None, gfile, line)
|
2023-03-18 04:19:04 +00:00
|
|
|
|
2023-03-26 06:07:35 +00:00
|
|
|
def _keyboard_open_file(self, gfile):
|
|
|
|
if not self.is_editor_focused: # TODO: Find way to converge this
|
|
|
|
return
|
2023-03-18 10:00:35 +00:00
|
|
|
|
2023-03-26 06:07:35 +00:00
|
|
|
self.open_file(gfile)
|
2023-03-18 07:25:04 +00:00
|
|
|
|
2023-03-26 06:07:35 +00:00
|
|
|
def _keyboard_scale_up_text(self):
|
|
|
|
self.action_controller("scale_up_text")
|
|
|
|
|
|
|
|
def _keyboard_scale_down_text(self):
|
2023-11-02 06:29:50 +00:00
|
|
|
self.action_controller("scale_down_text")
|