def __init__(self, win): super(Worksheet, self).__init__() self.win = win self.app = win.app self.connection = None self.editor = Editor(self) self.editor_context = EditorContext(self) self.results = Results(self) sw = Gtk.ScrolledWindow() sw.add(self.editor) sw_context = Gtk.ScrolledWindow() sw_context.set_policy(Gtk.PolicyType.NEVER, Gtk.PolicyType.AUTOMATIC) sw_context.add(self.editor_context) self._context_paned = Gtk.HPaned() if self.app.args.experimental: self._context_paned.add1(sw_context) self._context_paned.add2(sw) self._context_paned.set_position(200) self.add1(self._context_paned) self.add2(self.results) self.connect('realize', self.on_map_event) self.connect('size-allocate', self.on_size_allocate) self.app.connection_manager.connect('connection-deleted', self.on_connection_deleted)
def __init__(self, win): super(Worksheet, self).__init__() self.win = win self.app = win.app self.connection = None self.editor = Editor(self) self.results = Results(self) sw = Gtk.ScrolledWindow() sw.add(self.editor) self.add1(sw) self.add2(self.results) self.connect('realize', self.on_map_event) self.app.connection_manager.connect( 'connection-deleted', self.on_connection_deleted)