2026-03-08 00:46:21 -06:00
|
|
|
# Python imports
|
|
|
|
|
|
|
|
|
|
# Lib imports
|
2026-03-11 23:15:19 -05:00
|
|
|
import gi
|
|
|
|
|
|
|
|
|
|
from gi.repository import GLib
|
2026-03-08 00:46:21 -06:00
|
|
|
|
|
|
|
|
# Application imports
|
|
|
|
|
from libs.event_factory import Event_Factory, Code_Event_Types
|
|
|
|
|
from libs.dto.states import SourceViewStates
|
|
|
|
|
|
|
|
|
|
from plugins.plugin_types import PluginCode
|
|
|
|
|
|
2026-03-15 20:45:58 -05:00
|
|
|
from .dto.code import events as lsp_events
|
2026-03-12 00:04:08 -05:00
|
|
|
from .lsp_manager import LSPManager
|
2026-03-08 00:46:21 -06:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2026-03-12 00:04:08 -05:00
|
|
|
lsp_manager = LSPManager()
|
2026-03-08 00:46:21 -06:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class Plugin(PluginCode):
|
|
|
|
|
def __init__(self):
|
|
|
|
|
super(Plugin, self).__init__()
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
def _controller_message(self, event: Code_Event_Types.CodeEvent):
|
|
|
|
|
...
|
|
|
|
|
|
|
|
|
|
def load(self):
|
2026-03-15 20:45:58 -05:00
|
|
|
Event_Factory.register_events( lsp_events.__dict__.items() )
|
|
|
|
|
|
|
|
|
|
self.register_controller("lsp_manager", lsp_manager)
|
|
|
|
|
|
2026-03-08 00:46:21 -06:00
|
|
|
window = self.request_ui_element("main-window")
|
|
|
|
|
|
2026-03-12 00:04:08 -05:00
|
|
|
lsp_manager.lsp_manager_ui.map_parent_resize_event(window)
|
2026-03-08 00:46:21 -06:00
|
|
|
|
|
|
|
|
event = Event_Factory.create_event("register_command",
|
|
|
|
|
command_name = "LSP Manager",
|
|
|
|
|
command = Handler,
|
|
|
|
|
binding_mode = "released",
|
|
|
|
|
binding = ["<Shift><Control>l", "<Control>g", "<Control>i"]
|
|
|
|
|
)
|
|
|
|
|
self.emit_to("source_views", event)
|
|
|
|
|
|
2026-03-11 23:15:19 -05:00
|
|
|
event = Event_Factory.create_event(
|
2026-03-08 00:46:21 -06:00
|
|
|
"register_provider",
|
|
|
|
|
provider_name = "LSP Completer",
|
2026-03-12 00:04:08 -05:00
|
|
|
provider = lsp_manager.provider,
|
2026-03-08 00:46:21 -06:00
|
|
|
language_ids = []
|
|
|
|
|
)
|
|
|
|
|
self.emit_to("completion", event)
|
|
|
|
|
|
|
|
|
|
event = Event_Factory.create_event(
|
|
|
|
|
"create_source_view",
|
|
|
|
|
state = SourceViewStates.INDEPENDENT
|
|
|
|
|
)
|
|
|
|
|
self.emit_to("source_views", event)
|
|
|
|
|
|
|
|
|
|
source_view = event.response
|
2026-03-12 00:04:08 -05:00
|
|
|
lsp_manager.lsp_manager_ui.set_source_view(source_view)
|
2026-03-11 23:15:19 -05:00
|
|
|
|
2026-03-15 20:45:58 -05:00
|
|
|
lsp_manager.response_registry.set_event_hub(
|
|
|
|
|
self.emit, self.emit_to, lsp_manager.provider
|
|
|
|
|
)
|
2026-03-08 00:46:21 -06:00
|
|
|
|
|
|
|
|
def run(self):
|
|
|
|
|
...
|
|
|
|
|
|
|
|
|
|
def generate_plugin_element(self):
|
|
|
|
|
...
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class Handler:
|
|
|
|
|
@staticmethod
|
|
|
|
|
def execute(
|
|
|
|
|
view: any,
|
|
|
|
|
*args,
|
|
|
|
|
**kwargs
|
|
|
|
|
):
|
|
|
|
|
logger.debug("Command: LSP Manager")
|
|
|
|
|
|
|
|
|
|
char_str = args[0]
|
|
|
|
|
if char_str in ["g", "i"]:
|
|
|
|
|
file = view.command.exec("get_current_file")
|
|
|
|
|
buffer = view.get_buffer()
|
|
|
|
|
iter = buffer.get_iter_at_mark( buffer.get_insert() )
|
|
|
|
|
line = iter.get_line()
|
|
|
|
|
column = iter.get_line_offset()
|
|
|
|
|
|
|
|
|
|
if char_str == "g":
|
2026-03-12 00:04:08 -05:00
|
|
|
lsp_manager.lsp_manager_client.process_goto_definition(
|
2026-03-08 00:46:21 -06:00
|
|
|
file.ftype, file.fpath, line, column
|
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
return
|
|
|
|
|
|
|
|
|
|
if char_str == "i":
|
|
|
|
|
return
|
|
|
|
|
|
2026-03-12 00:04:08 -05:00
|
|
|
lsp_manager.lsp_manager_ui.hide() if lsp_manager.lsp_manager_ui.is_visible() else lsp_manager.lsp_manager_ui.show()
|