Beispiel #1
0
 def visibility_changed(self, enable):
     """DockWidget visibility has changed"""
     if enable:
         self.dockwidget.raise_()
         widget = self.get_focus_widget()
         if widget is not None:
             widget.setFocus()
     visible = self.dockwidget.isVisible() or self.ismaximized
     if self.DISABLE_ACTIONS_WHEN_HIDDEN:
         toggle_actions(self.plugin_actions, visible)
     self.isvisible = enable and visible
     if self.isvisible:
         self.refresh_plugin()  # To give focus to the plugin's widget
Beispiel #2
0
 def visibility_changed(self, enable):
     """Dock widget visibility has changed."""
     if enable:
         self.dockwidget.raise_()
         widget = self.get_focus_widget()
         if widget is not None:
             widget.setFocus()
     visible = self.dockwidget.isVisible() or self.ismaximized
     if self.DISABLE_ACTIONS_WHEN_HIDDEN:
         toggle_actions(self.plugin_actions, visible)
     self.isvisible = enable and visible
     if self.isvisible:
         self.refresh_plugin()   # To give focus to the plugin's widget
Beispiel #3
0
 def _visibility_changed(self, enable):
     """Dock widget visibility has changed."""
     if self.dockwidget is None:
         return
     if enable:
         self.dockwidget.raise_()
         widget = self.get_focus_widget()
         if widget is not None and self._undocked_window is not None:
             widget.setFocus()
     visible = self.dockwidget.isVisible() or self._ismaximized
     if self.DISABLE_ACTIONS_WHEN_HIDDEN:
         toggle_actions(self._plugin_actions, visible)
     self._isvisible = enable and visible
     if self._isvisible:
         self.refresh_plugin()