Compare commits
2 Commits
1447a68fb0
...
22abc02d25
| Author | SHA1 | Date | |
|---|---|---|---|
| 22abc02d25 | |||
| 8ee2106f50 |
@@ -37,7 +37,7 @@ class Plugin(PluginCode):
|
||||
]
|
||||
)
|
||||
|
||||
self.message_to("source_views", event)
|
||||
self.emit_to("source_views", event)
|
||||
|
||||
def run(self):
|
||||
...
|
||||
@@ -24,7 +24,7 @@ class Plugin(PluginCode):
|
||||
binding = "<Shift><Control>h"
|
||||
)
|
||||
|
||||
self.message_to("source_views", event)
|
||||
self.emit_to("source_views", event)
|
||||
|
||||
def run(self):
|
||||
...
|
||||
@@ -33,7 +33,7 @@ class Plugin(PluginCode):
|
||||
provider = self.provider,
|
||||
language_ids = []
|
||||
)
|
||||
self.message_to("completion", event)
|
||||
self.emit_to("completion", event)
|
||||
|
||||
def run(self):
|
||||
...
|
||||
|
||||
@@ -33,7 +33,7 @@ class Plugin(PluginCode):
|
||||
provider = self.provider,
|
||||
language_ids = []
|
||||
)
|
||||
self.message_to("completion", event)
|
||||
self.emit_to("completion", event)
|
||||
|
||||
def run(self):
|
||||
...
|
||||
|
||||
@@ -33,7 +33,7 @@ class Plugin(PluginCode):
|
||||
provider = self.provider,
|
||||
language_ids = []
|
||||
)
|
||||
self.message_to("completion", event)
|
||||
self.emit_to("completion", event)
|
||||
|
||||
def run(self):
|
||||
...
|
||||
|
||||
@@ -33,7 +33,7 @@ class Plugin(PluginCode):
|
||||
provider = self.provider,
|
||||
language_ids = []
|
||||
)
|
||||
self.message_to("completion", event)
|
||||
self.emit_to("completion", event)
|
||||
|
||||
def run(self):
|
||||
...
|
||||
|
||||
@@ -25,7 +25,7 @@ class Plugin(PluginCode):
|
||||
code_minimap.set_smini_view(event.view)
|
||||
|
||||
def load(self):
|
||||
editors_container = self.requests_ui_element("editors-container")
|
||||
editors_container = self.request_ui_element("editors-container")
|
||||
editors_container.add( code_minimap )
|
||||
|
||||
def run(self):
|
||||
@@ -25,7 +25,7 @@ class Plugin(PluginCode):
|
||||
info_bar_widget._set_info_labels(*event.info)
|
||||
|
||||
def load(self):
|
||||
header = self.requests_ui_element("header-container")
|
||||
header = self.request_ui_element("header-container")
|
||||
header.add( info_bar_widget )
|
||||
|
||||
def run(self):
|
||||
@@ -21,7 +21,7 @@ class Plugin(PluginCode):
|
||||
|
||||
def load(self):
|
||||
tabs_controller = TabsController()
|
||||
code_container = self.requests_ui_element("code-container")
|
||||
code_container = self.request_ui_element("code-container")
|
||||
|
||||
self.register_controller("tabs", tabs_controller)
|
||||
|
||||
@@ -32,6 +32,7 @@ class TabWidget(Gtk.Box):
|
||||
self.set_orientation(0)
|
||||
self.set_hexpand(False)
|
||||
self.set_vexpand(False)
|
||||
self.set_can_focus(False)
|
||||
self.set_size_request(-1, 12)
|
||||
|
||||
def _setup_signals(self):
|
||||
@@ -43,6 +44,10 @@ class TabWidget(Gtk.Box):
|
||||
self.close_bttn = Gtk.Button()
|
||||
icon = Gtk.Image(stock = Gtk.STOCK_CLOSE)
|
||||
|
||||
self.event_box.set_can_focus(False)
|
||||
self.label.set_can_focus(False)
|
||||
self.close_bttn.set_can_focus(False)
|
||||
|
||||
self.event_box.set_above_child(True)
|
||||
ctx = self.label.get_style_context()
|
||||
ctx.add_class("tab-label")
|
||||
@@ -22,7 +22,7 @@ class TabsController(ControllerBase):
|
||||
super(TabsController, self).__init__()
|
||||
|
||||
self.tabs_widget: TabsWidget = TabsWidget()
|
||||
self.tabs_widget.message = self.message
|
||||
self.tabs_widget.emit = self.emit
|
||||
|
||||
|
||||
def _controller_message(self, event: Code_Event_Types.CodeEvent):
|
||||
@@ -56,7 +56,7 @@ class TabsWidget(Gtk.Notebook):
|
||||
buffer = file.buffer
|
||||
)
|
||||
|
||||
self.message(event)
|
||||
self.emit(event)
|
||||
|
||||
def _switch_page(self, notebook, page_widget, page_num):
|
||||
tab = self.get_tab_label(page_widget)
|
||||
@@ -65,7 +65,7 @@ class TabsWidget(Gtk.Notebook):
|
||||
buffer = tab.file.buffer
|
||||
)
|
||||
|
||||
self.message(event)
|
||||
self.emit(event)
|
||||
|
||||
def _bind_tab_menu(self, tab, page_widget):
|
||||
def do_context_menu(tab, eve, page_widget):
|
||||
@@ -21,7 +21,7 @@ class Plugin(PluginUI):
|
||||
...
|
||||
|
||||
def load(self):
|
||||
ui_element = self.requests_ui_element("header-container")
|
||||
ui_element = self.request_ui_element("header-container")
|
||||
ui_element.add( self.generate_plugin_element() )
|
||||
|
||||
def run(self):
|
||||
|
||||
@@ -21,7 +21,13 @@ class CompletionController(ControllerBase):
|
||||
self._providers: dict[str, GtkSource.CompletionProvider] = {}
|
||||
|
||||
def _controller_message(self, event: Code_Event_Types.CodeEvent):
|
||||
if isinstance(event, Code_Event_Types.RegisterProviderEvent):
|
||||
if isinstance(event, Code_Event_Types.RegisterCompleterEvent):
|
||||
self.register_completer(event.completer)
|
||||
elif isinstance(event, Code_Event_Types.UnregisterCompleterEvent):
|
||||
self.unregister_completer(event.completer)
|
||||
elif isinstance(event, Code_Event_Types.UnregisterProviderEvent):
|
||||
self.unregister_provider(event.provider_name)
|
||||
elif isinstance(event, Code_Event_Types.RegisterProviderEvent):
|
||||
self.register_provider(
|
||||
event.provider_name,
|
||||
event.provider,
|
||||
|
||||
@@ -6,6 +6,8 @@
|
||||
from libs.controllers.controller_base import ControllerBase
|
||||
from libs.event_factory import Event_Factory, Code_Event_Types
|
||||
|
||||
from libs.dto.states import SourceViewStates
|
||||
|
||||
from ...source_view import SourceView
|
||||
|
||||
from .state_manager import SourceViewStateManager
|
||||
@@ -25,7 +27,9 @@ class SourceViewsController(ControllerBase, list):
|
||||
|
||||
|
||||
def _controller_message(self, event: Code_Event_Types.CodeEvent):
|
||||
if isinstance(event, Code_Event_Types.RemovedFileEvent):
|
||||
if isinstance(event, Code_Event_Types.CreateSourceViewEvent):
|
||||
event.response = self.create_source_view(event.state)
|
||||
elif isinstance(event, Code_Event_Types.RemovedFileEvent):
|
||||
self._remove_file(event)
|
||||
elif isinstance(event, Code_Event_Types.RegisterCommandEvent):
|
||||
self._register_command(event)
|
||||
@@ -74,8 +78,8 @@ class SourceViewsController(ControllerBase, list):
|
||||
|
||||
source_view.set_buffer(event.next_file.buffer)
|
||||
|
||||
def create_source_view(self):
|
||||
source_view: SourceView = SourceView()
|
||||
def create_source_view(self, state: SourceViewStates = SourceViewStates.INSERT):
|
||||
source_view: SourceView = SourceView(state)
|
||||
source_view.command = self._get_command_system()
|
||||
source_view.command.set_data(source_view)
|
||||
|
||||
@@ -86,6 +90,7 @@ class SourceViewsController(ControllerBase, list):
|
||||
|
||||
def first_map_load(self):
|
||||
for source_view in self:
|
||||
if source_view.state == SourceViewStates.INDEPENDENT: continue
|
||||
source_view.command.exec("new_file")
|
||||
if not source_view.sibling_left: continue
|
||||
source_view.get_parent().hide()
|
||||
|
||||
@@ -19,7 +19,8 @@ class SourceViewStateManager:
|
||||
SourceViewStates.INSERT: SourceViewsInsertState(),
|
||||
SourceViewStates.MULTIINSERT: SourceViewsMultiInsertState(),
|
||||
SourceViewStates.COMMAND: SourceViewsCommandState(),
|
||||
SourceViewStates.READONLY: SourceViewsReadOnlyState()
|
||||
SourceViewStates.READONLY: SourceViewsReadOnlyState(),
|
||||
SourceViewStates.INDEPENDENT: SourceViewsIndependentState()
|
||||
}
|
||||
|
||||
|
||||
|
||||
@@ -3,6 +3,7 @@
|
||||
"""
|
||||
|
||||
from .source_view_insert_state import SourceViewsInsertState
|
||||
from .source_view_independent_state import SourceViewsIndependentState
|
||||
from .source_view_multi_insert_state import SourceViewsMultiInsertState
|
||||
from .source_view_command_state import SourceViewsCommandState
|
||||
from .source_view_read_only_state import SourceViewsReadOnlyState
|
||||
|
||||
@@ -44,7 +44,7 @@ class SourceViewsBaseState:
|
||||
source_view.command.exec("update_info_bar")
|
||||
|
||||
def button_press_event(self, source_view, eve):
|
||||
source_view.command.exec("update_info_bar")
|
||||
...
|
||||
|
||||
def button_release_event(self, source_view, eve):
|
||||
source_view.command.exec("update_info_bar")
|
||||
|
||||
@@ -0,0 +1,16 @@
|
||||
# Python imports
|
||||
|
||||
# Lib imports
|
||||
|
||||
# Application imports
|
||||
from libs.event_factory import Event_Factory, Code_Event_Types
|
||||
|
||||
from libs.dto.states import SourceViewStates
|
||||
|
||||
from .source_view_base_state import SourceViewsBaseState
|
||||
|
||||
|
||||
|
||||
class SourceViewsIndependentState(SourceViewsBaseState):
|
||||
def __init__(self):
|
||||
super(SourceViewsIndependentState, self).__init__()
|
||||
@@ -76,6 +76,8 @@ class Window(Gtk.ApplicationWindow):
|
||||
event_system.subscribe("load-interactive-debug", self._load_interactive_debug)
|
||||
|
||||
def _load_widgets(self):
|
||||
widget_registery.expose_object("main-window", self)
|
||||
|
||||
if settings_manager.is_debug():
|
||||
self.set_interactive_debugging(True)
|
||||
|
||||
|
||||
@@ -24,3 +24,6 @@ class EmitDispatcher:
|
||||
|
||||
def emit_to(self, controller: str, event: BaseEvent):
|
||||
self.message_to(controller, event)
|
||||
|
||||
def emit_to_selected(self, names: list[str], event: BaseEvent):
|
||||
self.message_to_selected(names, event)
|
||||
|
||||
@@ -4,7 +4,11 @@
|
||||
|
||||
|
||||
from .code_event import CodeEvent
|
||||
from .create_source_view_event import CreateSourceViewEvent
|
||||
from .register_completer_event import RegisterCompleterEvent
|
||||
from .unregister_completer_event import UnregisterCompleterEvent
|
||||
from .register_provider_event import RegisterProviderEvent
|
||||
from .unregister_provider_event import UnregisterProviderEvent
|
||||
from .register_command_event import RegisterCommandEvent
|
||||
from .file_externally_modified_event import FileExternallyModifiedEvent
|
||||
from .file_externally_deleted_event import FileExternallyDeletedEvent
|
||||
|
||||
14
src/libs/dto/code/create_source_view_event.py
Normal file
14
src/libs/dto/code/create_source_view_event.py
Normal file
@@ -0,0 +1,14 @@
|
||||
# Python imports
|
||||
from dataclasses import dataclass
|
||||
|
||||
# Lib imports
|
||||
|
||||
# Application imports
|
||||
from .code_event import CodeEvent
|
||||
from libs.dto.states.source_view_states import SourceViewStates
|
||||
|
||||
|
||||
|
||||
@dataclass
|
||||
class CreateSourceViewEvent(CodeEvent):
|
||||
state: SourceViewStates = SourceViewStates.INSERT
|
||||
17
src/libs/dto/code/register_completer_event.py
Normal file
17
src/libs/dto/code/register_completer_event.py
Normal file
@@ -0,0 +1,17 @@
|
||||
# Python imports
|
||||
from dataclasses import dataclass, field
|
||||
|
||||
# Lib imports
|
||||
import gi
|
||||
gi.require_version('GtkSource', '4')
|
||||
|
||||
from gi.repository import GtkSource
|
||||
|
||||
# Application imports
|
||||
from .code_event import CodeEvent
|
||||
|
||||
|
||||
|
||||
@dataclass
|
||||
class RegisterCompleterEvent(CodeEvent):
|
||||
completer: GtkSource.Completion = None
|
||||
17
src/libs/dto/code/unregister_completer_event.py
Normal file
17
src/libs/dto/code/unregister_completer_event.py
Normal file
@@ -0,0 +1,17 @@
|
||||
# Python imports
|
||||
from dataclasses import dataclass
|
||||
|
||||
# Lib imports
|
||||
import gi
|
||||
gi.require_version('GtkSource', '4')
|
||||
|
||||
from gi.repository import GtkSource
|
||||
|
||||
# Application imports
|
||||
from .code_event import CodeEvent
|
||||
|
||||
|
||||
|
||||
@dataclass
|
||||
class UnregisterCompleterEvent(CodeEvent):
|
||||
completer: GtkSource.Completion = None
|
||||
13
src/libs/dto/code/unregister_provider_event.py
Normal file
13
src/libs/dto/code/unregister_provider_event.py
Normal file
@@ -0,0 +1,13 @@
|
||||
# Python imports
|
||||
from dataclasses import dataclass
|
||||
|
||||
# Lib imports
|
||||
|
||||
# Application imports
|
||||
from .code_event import CodeEvent
|
||||
|
||||
|
||||
|
||||
@dataclass
|
||||
class UnregisterProviderEvent(CodeEvent):
|
||||
provider_name: str = ""
|
||||
@@ -12,3 +12,4 @@ class SourceViewStates(Enum):
|
||||
MULTIINSERT = 1
|
||||
COMMAND = 2
|
||||
READONLY = 3
|
||||
INDEPENDENT = 4
|
||||
|
||||
@@ -56,8 +56,8 @@ class PluginsController(ControllerBase, PluginsControllerMixin, PluginReloadMixi
|
||||
locations.append(path)
|
||||
for file in os.listdir(path):
|
||||
_path = os.path.join(path, file)
|
||||
if os.path.isdir(_path):
|
||||
self._collect_search_locations(_path, locations)
|
||||
if not os.path.isdir(_path): continue
|
||||
self._collect_search_locations(_path, locations)
|
||||
|
||||
def _load_plugins(
|
||||
self,
|
||||
@@ -150,12 +150,10 @@ class PluginsController(ControllerBase, PluginsControllerMixin, PluginReloadMixi
|
||||
def create_plugin_context(self):
|
||||
plugin_context: PluginContext = PluginContext()
|
||||
|
||||
plugin_context.requests_ui_element: callable = self.requests_ui_element
|
||||
plugin_context.message: callable = self.message
|
||||
plugin_context.message_to: callable = self.message_to
|
||||
plugin_context.message_to_selected: callable = self.message_to_selected
|
||||
plugin_context.emit: callable = event_system.emit
|
||||
plugin_context.emit_and_await: callable = event_system.emit_and_await
|
||||
plugin_context.request_ui_element: callable = self.request_ui_element
|
||||
plugin_context.emit: callable = self.emit
|
||||
plugin_context.emit_to: callable = self.emit_to
|
||||
plugin_context.emit_to_selected: callable = self.emit_to_selected
|
||||
plugin_context.register_controller: callable = self.register_controller
|
||||
|
||||
return plugin_context
|
||||
|
||||
@@ -18,26 +18,21 @@ class PluginContext:
|
||||
def __init__(self):
|
||||
super(PluginContext, self).__init__()
|
||||
|
||||
def requests_ui_element(self, element_id: str):
|
||||
raise PluginContextException("Plugin Context 'requests_ui_element' must be overridden...")
|
||||
|
||||
def _controller_message(self, event: BaseEvent):
|
||||
raise PluginContextException("Plugin Context '_controller_message' must be overridden...")
|
||||
|
||||
def message(self, event: BaseEvent):
|
||||
raise PluginContextException("Plugin Context 'message' must be overridden...")
|
||||
def request_ui_element(self, element_id: str):
|
||||
raise PluginContextException("Plugin Context 'request_ui_element' must be overridden...")
|
||||
|
||||
def message_to(self, name: str, event: BaseEvent):
|
||||
raise PluginContextException("Plugin Context 'message_to' must be overridden...")
|
||||
|
||||
def message_to_selected(self, names: list[str], event: BaseEvent):
|
||||
raise PluginContextException("Plugin Context 'message_to_selected' must be overridden...")
|
||||
|
||||
def emit(self, event_type: str, data: tuple = ()):
|
||||
def emit(self, event: BaseEvent):
|
||||
raise PluginContextException("Plugin Context 'emit' must be overridden...")
|
||||
|
||||
def emit_and_await(self, event_type: str, data: tuple = ()):
|
||||
raise PluginContextException("Plugin Context 'emit_and_await' must be overridden...")
|
||||
def emit_to(self, name: str, event: BaseEvent):
|
||||
raise PluginContextException("Plugin Context 'emit_to' must be overridden...")
|
||||
|
||||
def emit_to_selected(self, names: list[str], event: BaseEvent):
|
||||
raise PluginContextException("Plugin Context 'emit_to_selected' must be overridden...")
|
||||
|
||||
def register_controller(self, name: str, controller):
|
||||
raise PluginContextException("Plugin Context 'register_controller' must be overridden...")
|
||||
|
||||
@@ -30,20 +30,14 @@ class PluginBase:
|
||||
def run(self):
|
||||
raise PluginBaseException("Plugin Base 'run' must be overriden by Plugin")
|
||||
|
||||
def requests_ui_element(self, element_id: str):
|
||||
raise PluginBaseException("Plugin Base 'requests_ui_element' must be overriden by Plugin")
|
||||
def request_ui_element(self, element_id: str):
|
||||
raise PluginBaseException("Plugin Base 'request_ui_element' must be overriden by Plugin")
|
||||
|
||||
def message(self, event: BaseEvent):
|
||||
raise PluginBaseException("Plugin Base 'message' must be overriden by Plugin")
|
||||
|
||||
def message_to(self, name: str, event: BaseEvent):
|
||||
raise PluginBaseException("Plugin Base 'message_to' must be overriden by Plugin")
|
||||
|
||||
def message_to_selected(self, names: list[str], event: BaseEvent):
|
||||
raise PluginBaseException("Plugin Base 'message_to_selected' must be overriden by Plugin")
|
||||
|
||||
def emit(self, event_type: str, data: tuple = ()):
|
||||
def emit(self, event: BaseEvent):
|
||||
raise PluginBaseException("Plugin Base 'emit' must be overriden by Plugin")
|
||||
|
||||
def emit_and_await(self, event_type: str, data: tuple = ()):
|
||||
raise PluginBaseException("Plugin Base 'emit_and_await' must be overriden by Plugin")
|
||||
def emit_to(self, name: str, event: BaseEvent):
|
||||
raise PluginBaseException("Plugin Base 'emit_to' must be overriden by Plugin")
|
||||
|
||||
def emit_to_selected(self, names: list[str], event: BaseEvent):
|
||||
raise PluginBaseException("Plugin Base 'emit_to_selected' must be overriden by Plugin")
|
||||
|
||||
@@ -31,17 +31,17 @@ class PluginCode(PluginBase):
|
||||
def run(self):
|
||||
raise PluginCodeException("Plugin Code 'run' must be overriden by Plugin")
|
||||
|
||||
def requests_ui_element(self, element_id: str):
|
||||
return self.plugin_context.requests_ui_element(element_id)
|
||||
|
||||
def message(self, event: BaseEvent):
|
||||
return self.plugin_context.message(event)
|
||||
|
||||
def message_to(self, name: str, event: BaseEvent):
|
||||
return self.plugin_context.message_to(name, event)
|
||||
|
||||
def message_to_selected(self, names: list[str], event: BaseEvent):
|
||||
return self.plugin_context.message_to_selected(names, event)
|
||||
|
||||
def register_controller(self, name: str, controller):
|
||||
return self.plugin_context.register_controller(name, controller)
|
||||
|
||||
def request_ui_element(self, element_id: str):
|
||||
return self.plugin_context.request_ui_element(element_id)
|
||||
|
||||
def emit(self, event: BaseEvent):
|
||||
return self.plugin_context.emit(event)
|
||||
|
||||
def emit_to(self, name: str, event: BaseEvent):
|
||||
return self.plugin_context.emit_to(name, event)
|
||||
|
||||
def emit_to_selected(self, names: list[str], event: BaseEvent):
|
||||
return self.plugin_context.emit_to_selected(names, event)
|
||||
|
||||
@@ -31,20 +31,14 @@ class PluginUI(PluginBase):
|
||||
def run(self):
|
||||
raise PluginCodeException("Plugin UI 'run' must be overriden by Plugin")
|
||||
|
||||
def requests_ui_element(self, element_id: str):
|
||||
return self.plugin_context.requests_ui_element(element_id)
|
||||
def request_ui_element(self, element_id: str):
|
||||
return self.plugin_context.request_ui_element(element_id)
|
||||
|
||||
def message(self, event: BaseEvent):
|
||||
return self.plugin_context.message(event)
|
||||
def emit(self, event: BaseEvent):
|
||||
return self.plugin_context.emit(event)
|
||||
|
||||
def message_to(self, name: str, event: BaseEvent):
|
||||
return self.plugin_context.message_to(name, event)
|
||||
def emit_to(self, name: str, event: BaseEvent):
|
||||
return self.plugin_context.emit_to(name, event)
|
||||
|
||||
def message_to_selected(self, names: list[str], event: BaseEvent):
|
||||
return self.plugin_context.message_to_selected(names, event)
|
||||
|
||||
def emit(self, event_type: str, data: tuple = ()):
|
||||
self.plugin_context.emit(event_type, data)
|
||||
|
||||
def emit_and_await(self, event_type: str, data: tuple = ()):
|
||||
self.plugin_context.emit_and_await(event_type, data)
|
||||
def emit_to_selected(self, names: list[str], event: BaseEvent):
|
||||
return self.plugin_context.emit_to_selected(names, event)
|
||||
|
||||
@@ -13,7 +13,7 @@ class InvalidPluginException(Exception):
|
||||
|
||||
class PluginsControllerMixin:
|
||||
|
||||
def requests_ui_element(self, target_id: str):
|
||||
def request_ui_element(self, target_id: str):
|
||||
if not target_id in widget_registery.objects:
|
||||
raise InvalidPluginException('Unknown UI "target_id" given in requests.')
|
||||
|
||||
|
||||
Reference in New Issue
Block a user