From e97e7b13cdf3c01a52b7e0ee0967e0b6f636a7d6 Mon Sep 17 00:00:00 2001 From: Thilo Molitor Date: Fri, 3 Nov 2017 17:45:03 +0100 Subject: [PATCH] Add gui extension point to history window --- gajim/history_window.py | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/gajim/history_window.py b/gajim/history_window.py index 728d22b41..7823044dc 100644 --- a/gajim/history_window.py +++ b/gajim/history_window.py @@ -141,6 +141,11 @@ class HistoryWindow: xml.connect_signals(self) self.window.show_all() + # PluginSystem: adding GUI extension point for + # HistoryWindow instance object + app.plugin_manager.gui_extension_point( + 'history_window', self) + def _fill_completion_dict(self): """ Fill completion_dict for key auto completion. Then load history for @@ -246,6 +251,10 @@ class HistoryWindow: return account def on_history_window_destroy(self, widget): + # PluginSystem: removing GUI extension points connected with + # HistoryWindow instance object + app.plugin_manager.remove_gui_extension_point( + 'history_window', self) self.history_textview.del_handlers() del app.interface.instances['logs']