2026-02-25 23:26:12 -06:00
|
|
|
# Python imports
|
|
|
|
|
|
|
|
|
|
# Lib imports
|
|
|
|
|
|
|
|
|
|
# Application imports
|
|
|
|
|
from libs.event_factory import Event_Factory, Code_Event_Types
|
|
|
|
|
|
|
|
|
|
from plugins.plugin_types import PluginCode
|
|
|
|
|
|
|
|
|
|
from .code_minimap import CodeMiniMap
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
code_minimap = CodeMiniMap()
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class Plugin(PluginCode):
|
|
|
|
|
def __init__(self):
|
|
|
|
|
super(Plugin, self).__init__()
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
def _controller_message(self, event: Code_Event_Types.CodeEvent):
|
|
|
|
|
if isinstance(event, Code_Event_Types.FocusedViewEvent):
|
|
|
|
|
code_minimap.set_smini_view(event.view)
|
|
|
|
|
|
|
|
|
|
def load(self):
|
2026-02-28 19:48:04 -06:00
|
|
|
editors_container = self.request_ui_element("editors-container")
|
2026-02-25 23:26:12 -06:00
|
|
|
editors_container.add( code_minimap )
|
|
|
|
|
|
2026-03-21 13:26:12 -05:00
|
|
|
event = Event_Factory.create_event("get_active_view")
|
|
|
|
|
self.emit_to("source_views", event)
|
2026-04-04 23:21:03 -05:00
|
|
|
if not event.response: return
|
2026-03-21 13:26:12 -05:00
|
|
|
code_minimap.set_smini_view(event.response)
|
|
|
|
|
|
|
|
|
|
def unload(self):
|
|
|
|
|
code_minimap.destroy()
|
|
|
|
|
|
2026-02-25 23:26:12 -06:00
|
|
|
def run(self):
|
|
|
|
|
...
|