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
