itdominator
61b8bbc5fa
- Moved plugins to apropriate sub folders - Refactor command system with new add_command method and rename GetCommandSystemEvent to GetNewCommandSystemEvent - Add RegisterCommandEvent for dynamic command registration - Change footer container orientation to VERTICAL - Add search-highlight tag to source buffer - Add file change detection (deleted, externally modified) in source_file - Add JSON prettify option to source view popup menu - Enable hexpand on VTE widget - Update plugins_controller_mixin to use widget_registry
21 lines
384 B
Python
21 lines
384 B
Python
# Python imports
|
|
|
|
# Lib imports
|
|
|
|
# Application imports
|
|
|
|
|
|
|
|
class InvalidPluginException(Exception):
|
|
...
|
|
|
|
|
|
|
|
class PluginsControllerMixin:
|
|
|
|
def requests_ui_element(self, target_id: str):
|
|
if not target_id in widget_registery.objects:
|
|
raise InvalidPluginException('Unknown UI "target_id" given in requests.')
|
|
|
|
return widget_registery.objects[target_id]
|