def on_key_pressed(self, widget, event):
modifiers = Gtk.accelerator_get_default_mod_mask()
vte_revealed = self.tabs[self.current_page][0].vte_revealer.get_child_revealed()
mapping = {Gdk.KEY_r: self.reload_tab,
Gdk.KEY_w: self.close_current_tab,
Gdk.KEY_t: self.open_new_tab,
Gdk.KEY_f: self.finder,
Gdk.KEY_s: self.view_settings,
Gdk.KEY_u: self.view_source,
Gdk.KEY_h: self.view_history,
Gdk.KEY_p: self.page_print,
Gdk.KEY_plus: self.zoom_in,
Gdk.KEY_minus: self.zoom_out,
Gdk.KEY_m: self.zoom_restore,
Gdk.KEY_k: self.delete_theme,
Gdk.KEY_n: self.open_new_window,
Gdk.KEY_i: self.defcon,
Gdk.KEY_b: self.view_plugins,
Gdk.KEY_o: self.cookies_manager,
Gdk.KEY_l: self.focus_tab,
Gdk.KEY_j: lambda: pass_generator(self),
Gdk.KEY_g: lambda: user_agent(self),
Gdk.KEY_d: lambda: self.view_bookmarks(None, None),
Gdk.KEY_q: lambda: quit(self)}
if webkit_ver > wk16:
mapping.update({Gdk.KEY_x: lambda: proxy(self)})
if event.state & modifiers == Gdk.ModifierType.CONTROL_MASK\
and event.keyval in mapping and not vte_revealed:
mapping[event.keyval]()
return True
nomod = {Gdk.KEY_F4: self.vte,
Gdk.KEY_F5: self.reload_tab,
Gdk.KEY_F11: self.go_fullscreen}
try:
if type(event.state) == Gdk.ModifierType\
and event.keyval in nomod and not vte_revealed:
nomod[event.keyval]()
return True
except: pass
评论列表
文章目录