def on_keypress(self, widget, event): if ConfigManager.key_event_compare('quit-key', event): Gtk.main_quit() return True if ConfigManager.key_event_compare('select-all-key', event): self.notebook.get_nth_page(self.notebook.get_current_page() ).active_terminal.vte.select_all() return True if ConfigManager.key_event_compare('copy-key', event): self.notebook.get_nth_page(self.notebook.get_current_page() ).active_terminal.vte.copy_clipboard() return True if ConfigManager.key_event_compare('paste-key', event): self.notebook.get_nth_page(self.notebook.get_current_page() ).active_terminal.vte.paste_clipboard() return True if ConfigManager.key_event_compare('split-v-key', event): self.notebook.get_nth_page( self.notebook.get_current_page()).active_terminal.split_axis( None, 'v') return True if ConfigManager.key_event_compare('split-h-key', event): self.notebook.get_nth_page( self.notebook.get_current_page()).active_terminal.split_axis( None, 'h') return True if ConfigManager.key_event_compare('close-node-key', event): self.notebook.get_nth_page( self.notebook.get_current_page()).active_terminal.close_node( None) return True if ConfigManager.key_event_compare('fullscreen-key', event): self.toggle_fullscreen() return True if ConfigManager.key_event_compare('new-page-key', event): self.add_page() return True if ConfigManager.key_event_compare('rename-page-key', event): for button in self.buttonbox: if button != self.radio_group_leader and button.get_active(): self.page_rename(None, button) return True if ConfigManager.key_event_compare('close-page-key', event): for button in self.buttonbox: if button != self.radio_group_leader and button.get_active(): self.page_close(None, button) return True if ConfigManager.key_event_compare('next-page-key', event): page_button_list = [] for button in self.buttonbox: if button != self.radio_group_leader: page_button_list.append(button) for i in range(len(page_button_list)): if (page_button_list[i].get_active() == True): if (i + 1 < len(page_button_list)): page_button_list[i + 1].set_active(True) else: page_button_list[0].set_active(True) return True if ConfigManager.key_event_compare('prev-page-key', event): page_button_list = [] for button in self.buttonbox: if button != self.radio_group_leader: page_button_list.append(button) for i in range(len(page_button_list)): if page_button_list[i].get_active(): if i > 0: page_button_list[i - 1].set_active(True) else: page_button_list[-1].set_active(True) return True
def on_keypress(self, widget, event): if ConfigManager.key_event_compare('toggle-scrollbars-key', event): ConfigManager.set_conf( 'show-scrollbar', not ConfigManager.get_conf('show-scrollbar')) ConfigManager.save_config() ConfigManager.callback() return True if ConfigManager.key_event_compare('move-up-key', event): self.get_active_terminal().move(direction=1) return True if ConfigManager.key_event_compare('move-down-key', event): self.get_active_terminal().move(direction=2) return True if ConfigManager.key_event_compare('move-left-key', event): self.get_active_terminal().move(direction=3) return True if ConfigManager.key_event_compare('move-right-key', event): self.get_active_terminal().move(direction=4) return True if ConfigManager.key_event_compare('quit-key', event): self.quit() return True if ConfigManager.key_event_compare('select-all-key', event): self.get_active_terminal().select_all() return True if ConfigManager.key_event_compare('copy-key', event): self.get_active_terminal().copy_clipboard() return True if ConfigManager.key_event_compare('paste-key', event): self.get_active_terminal().paste_clipboard() return True if ConfigManager.key_event_compare('split-v-key', event): self.get_active_terminal().split_axis(None, 'h') return True if ConfigManager.key_event_compare('split-h-key', event): self.get_active_terminal().split_axis(None, 'v') return True if ConfigManager.key_event_compare('close-node-key', event): self.get_active_terminal().close_node(None) return True if ConfigManager.key_event_compare('fullscreen-key', event): self.toggle_fullscreen() return True if ConfigManager.key_event_compare('new-page-key', event): self.add_page() return True if ConfigManager.key_event_compare('rename-page-key', event): for button in self.buttonbox: if button != self.radio_group_leader and button.get_active(): self.page_rename(None, button) return True if ConfigManager.key_event_compare('close-page-key', event): for button in self.buttonbox: if button != self.radio_group_leader and button.get_active(): self.page_close(None, button) return True if ConfigManager.key_event_compare('next-page-key', event): page_button_list = self.buttonbox.get_children()[1:] for i in range(len(page_button_list)): if (page_button_list[i].get_active() == True): if (i + 1 < len(page_button_list)): page_button_list[i + 1].set_active(True) else: page_button_list[0].set_active(True) return True if ConfigManager.key_event_compare('prev-page-key', event): page_button_list = self.buttonbox.get_children()[1:] for i in range(len(page_button_list)): if page_button_list[i].get_active(): if i > 0: page_button_list[i - 1].set_active(True) else: page_button_list[-1].set_active(True) return True if ConfigManager.key_event_compare('move-page-left', event): i = 0 for button in self.buttonbox: if button != self.radio_group_leader and button.get_active(): if (i - 1) > 0: self.notebook.reorder_child( self.notebook.get_nth_page(i - 1), i - 2) self.buttonbox.reorder_child(button, i - 1) return True else: return False i += 1 if ConfigManager.key_event_compare('move-page-right', event): i = 0 for button in self.buttonbox: if button != self.radio_group_leader and button.get_active(): if (i + 1) < len(self.buttonbox): self.notebook.reorder_child( self.notebook.get_nth_page(i - 1), i) self.buttonbox.reorder_child(button, i + 1) return True else: return False i += 1
def on_keypress(self, widget, event): if ConfigManager.key_event_compare('quit-key', event): Gtk.main_quit() return True if ConfigManager.key_event_compare('select-all-key', event): self.notebook.get_nth_page(self.notebook.get_current_page()).active_terminal.vte.select_all() return True if ConfigManager.key_event_compare('copy-key', event): self.notebook.get_nth_page(self.notebook.get_current_page()).active_terminal.vte.copy_clipboard() return True if ConfigManager.key_event_compare('paste-key', event): self.notebook.get_nth_page(self.notebook.get_current_page()).active_terminal.vte.paste_clipboard() return True if ConfigManager.key_event_compare('split-v-key', event): self.notebook.get_nth_page(self.notebook.get_current_page()).active_terminal.split_axis(None, 'v') return True if ConfigManager.key_event_compare('split-h-key', event): self.notebook.get_nth_page(self.notebook.get_current_page()).active_terminal.split_axis(None, 'h') return True if ConfigManager.key_event_compare('close-node-key', event): self.notebook.get_nth_page(self.notebook.get_current_page()).active_terminal.close_node(None) return True if ConfigManager.key_event_compare('fullscreen-key', event): self.toggle_fullscreen() return True if ConfigManager.key_event_compare('new-page-key', event): self.add_page() return True if ConfigManager.key_event_compare('rename-page-key', event): for button in self.buttonbox: if button != self.radio_group_leader and button.get_active(): self.page_rename(None, button) return True if ConfigManager.key_event_compare('close-page-key', event): for button in self.buttonbox: if button != self.radio_group_leader and button.get_active(): self.page_close(None, button) return True if ConfigManager.key_event_compare('next-page-key', event): page_button_list = [] for button in self.buttonbox: if button != self.radio_group_leader: page_button_list.append(button) for i in range(len(page_button_list)): if (page_button_list[i].get_active() == True): if (i + 1 < len(page_button_list)): page_button_list[i+1].set_active(True) else: page_button_list[0].set_active(True) return True if ConfigManager.key_event_compare('prev-page-key', event): page_button_list = [] for button in self.buttonbox: if button != self.radio_group_leader: page_button_list.append(button) for i in range(len(page_button_list)): if page_button_list[i].get_active(): if i > 0: page_button_list[i-1].set_active(True) else: page_button_list[-1].set_active(True) return True
def on_keypress(self, widget, event): if ConfigManager.key_event_compare('toggle-scrollbars-key', event): ConfigManager.set_conf('show-scrollbar', not ConfigManager.get_conf('show-scrollbar')) ConfigManager.save_config() ConfigManager.callback() return True if ConfigManager.key_event_compare('move-up-key', event): self.get_active_terminal().move(direction=1) return True if ConfigManager.key_event_compare('move-down-key', event): self.get_active_terminal().move(direction=2) return True if ConfigManager.key_event_compare('move-left-key', event): self.get_active_terminal().move(direction=3) return True if ConfigManager.key_event_compare('move-right-key', event): self.get_active_terminal().move(direction=4) return True if ConfigManager.key_event_compare('quit-key', event): self.quit() return True if ConfigManager.key_event_compare('select-all-key', event): self.get_active_terminal().select_all() return True if ConfigManager.key_event_compare('copy-key', event): self.get_active_terminal().copy_clipboard() return True if ConfigManager.key_event_compare('paste-key', event): self.get_active_terminal().paste_clipboard() return True if ConfigManager.key_event_compare('split-v-key', event): self.get_active_terminal().split_axis(None, 'h') return True if ConfigManager.key_event_compare('split-h-key', event): self.get_active_terminal().split_axis(None, 'v') return True if ConfigManager.key_event_compare('close-node-key', event): self.get_active_terminal().close_node(None) return True if ConfigManager.key_event_compare('fullscreen-key', event): self.toggle_fullscreen() return True if ConfigManager.key_event_compare('new-page-key', event): self.add_page() return True if ConfigManager.key_event_compare('rename-page-key', event): for button in self.buttonbox: if button != self.radio_group_leader and button.get_active(): self.page_rename(None, button) return True if ConfigManager.key_event_compare('close-page-key', event): for button in self.buttonbox: if button != self.radio_group_leader and button.get_active(): self.page_close(None, button) return True if ConfigManager.key_event_compare('next-page-key', event): page_button_list = self.buttonbox.get_children()[1:] for i in range(len(page_button_list)): if (page_button_list[i].get_active() == True): if (i + 1 < len(page_button_list)): page_button_list[i+1].set_active(True) else: page_button_list[0].set_active(True) return True if ConfigManager.key_event_compare('prev-page-key', event): page_button_list = self.buttonbox.get_children()[1:] for i in range(len(page_button_list)): if page_button_list[i].get_active(): if i > 0: page_button_list[i-1].set_active(True) else: page_button_list[-1].set_active(True) return True if ConfigManager.key_event_compare('move-page-left', event): i = 0 for button in self.buttonbox: if button != self.radio_group_leader and button.get_active(): if (i - 1) > 0: self.notebook.reorder_child(self.notebook.get_nth_page(i - 1), i - 2) self.buttonbox.reorder_child(button, i - 1) return True else: return False i += 1 if ConfigManager.key_event_compare('move-page-right', event): i = 0 for button in self.buttonbox: if button != self.radio_group_leader and button.get_active(): if (i + 1) < len(self.buttonbox): self.notebook.reorder_child(self.notebook.get_nth_page(i - 1), i) self.buttonbox.reorder_child(button, i + 1) return True else: return False i += 1