From 40c94d120a6d789374e7c0746088355bf65eb0a8 Mon Sep 17 00:00:00 2001 From: b Date: Thu, 21 Mar 2019 16:44:13 +0100 Subject: [PATCH] Hack to make ripr/BinjaDock work with Binja-dev --- defunct/widgets.py | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/defunct/widgets.py b/defunct/widgets.py index fe21ec0..7ed482f 100644 --- a/defunct/widgets.py +++ b/defunct/widgets.py @@ -35,12 +35,15 @@ def __init__(self, *__args): super(BinjaDockWidget, self).__init__(*__args) self._app = QtWidgets.QApplication.instance() self._main_window = [x for x in self._app.allWidgets() if x.__class__ is QtWidgets.QMainWindow][0] - self._tool_menu = [x for x in self._main_window.menuWidget().children() if x.__class__ is QtWidgets.QMenu and x.title() == u'&Tools'][0] self._main_window.addDockWidget(Qt.RightDockWidgetArea, self) self._tabs = QtWidgets.QTabWidget() self._tabs.setTabPosition(QtWidgets.QTabWidget.East) self.setWidget(self._tabs) - self.addToolMenuAction('Toggle plugin dock', self.toggle) + try: + self._tool_menu = [x for x in self._main_window.menuWidget().children() if x.__class__ is QtWidgets.QMenu and x.title() == u'&Tools'][0] + self.addToolMenuAction('Toggle plugin dock', self.toggle) + except AttributeError: + pass self.hide() def addTabWidget(self, widget, name):