remove ravenui.py by using plugin registry instead

This commit is contained in:
2022-02-06 15:49:12 +01:00
parent 6573580f3c
commit 111c11d5d4
6 changed files with 24 additions and 39 deletions

View File

@@ -75,6 +75,20 @@ class RavenLogPlugin(PluginBase):
def current_file(self) -> Optional[str]:
return self.main_window.tabs.current_file()
def update_window_title(self, title: str):
if len(title) > 0:
self.main_window.setWindowTitle(_("{0} - RavenLog").format(title))
else:
self.main_window.setWindowTitle(_("RavenLog"))
def update_status_bar(self, text: str):
if not self.main_window:
return
self.main_window.status_bar.showMessage(text)
def update_ui(self):
self.main_window.update()
def add_tab(self, tab: Tab):
self.main_window.tabs.add_tab(tab)