Beispiel #1
0
 def __init__(
     self, window, notebook_parent, workspaces_enabled, terminal_spawned_cb, page_deleted_cb,
 ):
     GObject.Object.__init__(self)
     if not GObject.signal_lookup("notebook-created", self):
         GObject.signal_new(
             "notebook-created",
             self,
             GObject.SIGNAL_RUN_LAST,
             GObject.TYPE_NONE,
             (GObject.TYPE_PYOBJECT, GObject.TYPE_INT),
         )
     self.current_notebook = 0
     self.notebooks = {}
     self.window = window
     self.notebook_parent = notebook_parent
     self.terminal_spawned_cb = terminal_spawned_cb
     self.page_deleted_cb = page_deleted_cb
     if workspaces_enabled and gdk_is_x11_display(Gdk.Display.get_default()):
         # NOTE: Wnck didn't support non-X11 display backend, so we need to check if the display
         #       is X11 or not, if not, it will not able to enable workspace-specific-tab-sets
         #
         # TODO: Is there anyway to support this in non-X11 display backend?
         self.screen = Wnck.Screen.get_default()
         self.screen.connect("active-workspace-changed", self.__workspace_changed_cb)
Beispiel #2
0
 def __init__(
     self, window, notebook_parent, workspaces_enabled, terminal_spawned_cb, page_deleted_cb
 ):
     GObject.Object.__init__(self)
     if not GObject.signal_lookup('notebook-created', self):
         GObject.signal_new(
             'notebook-created', self, GObject.SIGNAL_RUN_LAST, GObject.TYPE_NONE,
             (GObject.TYPE_PYOBJECT, GObject.TYPE_INT)
         )
     self.current_notebook = 0
     self.notebooks = {}
     self.window = window
     self.notebook_parent = notebook_parent
     self.terminal_spawned_cb = terminal_spawned_cb
     self.page_deleted_cb = page_deleted_cb
     if workspaces_enabled and gdk_is_x11_display(Gdk.Display.get_default()):
         # NOTE: Wnck didn't support non-X11 display backend, so we need to check if the display
         #       is X11 or not, if not, it will not able to enable workspace-specific-tab-sets
         #
         # TODO: Is there anyway to support this in non-X11 display backend?
         self.screen = Wnck.Screen.get_default()
         self.screen.connect("active-workspace-changed", self.__workspace_changed_cb)