refactor: remove InfoBarWidget in favor of plugin-based one

- Replace direct InfoBarWidget with set_info_labels command that emits
  events to plugins
- Replace mini view widget in favor of plugin-based one
- Add widget registry exposure for code-container and editors-container
- Fix DND mixin exec_with_args call (tuple args issue)
- Add break statements in tabs_widget loops for efficiency
- Add _update_transparency call to BaseContainer
This commit is contained in:
2026-02-25 23:26:12 -06:00
parent 0b3579d485
commit a2b8232d5e
19 changed files with 182 additions and 16 deletions

View File

@@ -0,0 +1,32 @@
# 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):
editors_container = self.requests_ui_element("editors-container")
editors_container.add( code_minimap )
def run(self):
...