Compare commits
2 Commits
62731ae766
...
cb73f6b3b0
| Author | SHA1 | Date | |
|---|---|---|---|
| cb73f6b3b0 | |||
| e6eaa1d83c |
2
TODO.md
2
TODO.md
@@ -1,8 +1,8 @@
|
||||
___
|
||||
### Add
|
||||
1. Add Godot LSP Client
|
||||
1. Add TreeSitter
|
||||
1. Add Collapsable code blocks
|
||||
1. Add Godot LSP Client
|
||||
1. Add Terminal plugin
|
||||
1. Add Plugin to <Shift\><Ctrl\>| and <Ctrl\>| to split views up, down, left, right
|
||||
1. Add <Ctrl\>i to **lsp_manager** to list who implements xyz
|
||||
|
||||
@@ -25,7 +25,7 @@ class Plugin(PluginCode):
|
||||
if len(history) == history_size:
|
||||
history.pop(0)
|
||||
|
||||
history.append(event.file)
|
||||
history.append(event.file.fpath)
|
||||
|
||||
def load(self):
|
||||
self._manage_signals("register_command")
|
||||
@@ -60,6 +60,6 @@ class Handler:
|
||||
|
||||
view._on_uri_data_received(
|
||||
[
|
||||
history.pop().replace("file://", "")
|
||||
f"file://{history.pop()}"
|
||||
]
|
||||
)
|
||||
|
||||
@@ -23,7 +23,7 @@ class Plugin(PluginCode):
|
||||
def load(self):
|
||||
self._manage_signals("register_command")
|
||||
|
||||
def load(self):
|
||||
def unload(self):
|
||||
self._manage_signals("unregister_command")
|
||||
|
||||
def _manage_signals(self, action: str):
|
||||
|
||||
@@ -11,7 +11,7 @@ from libs.event_factory import Event_Factory, Code_Event_Types
|
||||
|
||||
from plugins.plugin_types import PluginCode
|
||||
|
||||
from .response_handler import GodotHandler
|
||||
from .response_handler import GDScriptHandler
|
||||
|
||||
|
||||
|
||||
@@ -30,7 +30,7 @@ class Plugin(PluginCode):
|
||||
event = Event_Factory.create_event("register_lsp_client",
|
||||
lang_id = "gdscript",
|
||||
lang_config = config,
|
||||
handler = GodotHandler
|
||||
handler = GDScriptHandler
|
||||
)
|
||||
self.emit_to("lsp_manager", event)
|
||||
|
||||
|
||||
@@ -1 +1 @@
|
||||
from .python import PythonHandler
|
||||
from .gdscript import GDScriptHandler
|
||||
@@ -7,6 +7,6 @@ from lsp_manager.response_handlers.default import DefaultHandler
|
||||
|
||||
|
||||
|
||||
class GodotHandler(DefaultHandler):
|
||||
class GDScriptHandler(DefaultHandler):
|
||||
"""Uses default handling, can override if Godot needs special logic."""
|
||||
...
|
||||
@@ -50,7 +50,14 @@ class Plugin(PluginCode):
|
||||
def unload(self):
|
||||
self.unregister_controller("tabs")
|
||||
self.tabs_controller.unload_tabs()
|
||||
self.tabs_controller.tabs_widget.destroy()
|
||||
|
||||
tabs_widget = self.tabs_controller.tabs_widget
|
||||
viewport = tabs_widget.get_parent()
|
||||
scrolled_win = viewport.get_parent()
|
||||
|
||||
tabs_widget.destroy()
|
||||
viewport.destroy()
|
||||
scrolled_win.destroy()
|
||||
|
||||
self.tabs_controller.tabs_widget = None
|
||||
self.tabs_controller = None
|
||||
|
||||
@@ -56,7 +56,7 @@ class ManifestManager:
|
||||
|
||||
if not manifest.autoload:
|
||||
self.manual_launch_manifests.append(manifest_meta)
|
||||
return
|
||||
return manifest_meta
|
||||
|
||||
if manifest.pre_launch:
|
||||
self.pre_launch_manifests.append(manifest_meta)
|
||||
|
||||
@@ -48,13 +48,13 @@ class PluginReloadMixin:
|
||||
|
||||
def remove_plugin(self, file: str) -> None:
|
||||
logger.info(f"Removing plugin: {file.get_uri()}")
|
||||
for manifest_meta in self._plugin_collection[:]:
|
||||
if not manifest_meta.folder in file.get_uri(): continue
|
||||
|
||||
manifest_meta.instance.unload()
|
||||
manifest_meta.instance = None
|
||||
self._plugin_collection.remove(manifest_meta)
|
||||
self.plugins_ui.remove_row(manifest_meta)
|
||||
manifests = self._manifest_manager.pre_launch_manifests \
|
||||
+ self._manifest_manager.post_launch_manifests \
|
||||
+ self._manifest_manager.manual_launch_manifests
|
||||
|
||||
for manifest_meta in manifests:
|
||||
if not manifest_meta.folder in file.get_uri(): continue
|
||||
|
||||
if manifest_meta in self._manifest_manager.pre_launch_manifests:
|
||||
self._manifest_manager.pre_launch_manifests.remove(manifest_meta)
|
||||
@@ -63,4 +63,15 @@ class PluginReloadMixin:
|
||||
elif manifest_meta in self._manifest_manager.manual_launch_manifests:
|
||||
self._manifest_manager.manual_launch_manifests.remove(manifest_meta)
|
||||
|
||||
self.plugins_ui.remove_row(manifest_meta)
|
||||
break
|
||||
|
||||
del manifests
|
||||
for manifest_meta in self._plugin_collection[:]:
|
||||
if not manifest_meta.folder in file.get_uri(): continue
|
||||
|
||||
manifest_meta.instance.unload()
|
||||
manifest_meta.instance = None
|
||||
self._plugin_collection.remove(manifest_meta)
|
||||
|
||||
break
|
||||
|
||||
@@ -76,6 +76,7 @@ class PluginsUI(Gtk.Dialog):
|
||||
|
||||
toggle_bttn.toggle_id = \
|
||||
toggle_bttn.connect("toggled", callback, manifest_meta)
|
||||
box.toggle_bttn = toggle_bttn
|
||||
|
||||
box.add(plugin_lbl)
|
||||
box.add(author_lbl)
|
||||
@@ -96,5 +97,5 @@ class PluginsUI(Gtk.Dialog):
|
||||
toggle_bttn.disconnect(toggle_bttn.toggle_id)
|
||||
|
||||
self.list_box.remove(row)
|
||||
box.destroy()
|
||||
child.destroy()
|
||||
break
|
||||
|
||||
Reference in New Issue
Block a user