+ }
+ }
+
+ private void WebView_KeyPress(object o, KeyPressEventArgs e) {
+ Console.WriteLine(e.Event.Key);
+ if ((Gdk.ModifierType.ControlMask & e.Event.State) != 0) {
+ switch(e.Event.Key) {
+ case Gdk.Key.n:
+ wt.Tabs.NextPage();
+ break;
+ case Gdk.Key.p:
+ wt.Tabs.PrevPage();
+ break;
+ }
+ } else {
+ switch(e.Event.Key) {
+ case Gdk.Key.j:
+ wt.ScrolledWindow.Vadjustment.Value += wt.ScrolledWindow.Vadjustment.StepIncrement;
+ break;
+ case Gdk.Key.k:
+ wt.ScrolledWindow.Vadjustment.Value -= wt.ScrolledWindow.Vadjustment.StepIncrement;
+ break;
+ case Gdk.Key.l:
+ wt.ScrolledWindow.Hadjustment.Value += wt.ScrolledWindow.Hadjustment.StepIncrement;
+ break;
+ case Gdk.Key.h:
+ wt.ScrolledWindow.Hadjustment.Value -= wt.ScrolledWindow.Hadjustment.StepIncrement;
+ break;
+ case Gdk.Key.r:
+ wt.WebView.Reload();
+ break;
+ case Gdk.Key.Escape:
+ wt.WebView.ExecuteScript("document.activeElement.blur()");
+ break;
+ }