- private void WebView_KeyPress(object o, KeyPressEventArgs e) {
- Console.WriteLine(e.Event.Key);
- 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.o:
- CommandStart("open ");
- break;
- case Gdk.Key.r:
- wt.WebView.Reload();
- break;
- case Gdk.Key.t:
- CommandStart("tabopen ");
- break;
- case Gdk.Key.colon:
- CommandlineShow();
- break;
- case Gdk.Key.Escape:
- wt.WebView.ExecuteScript("document.activeElement.blur()");
- break;
- }
- }
+ private void WebView_KeyPress(object o, KeyPressEventArgs e) {
+ Console.WriteLine(e.Event.Key);
+ 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.o:
+ CommandStart("open ");
+ break;
+ case Gdk.Key.r:
+ wt.WebView.Reload();
+ break;
+ case Gdk.Key.t:
+ CommandStart("tabopen ");
+ break;
+ case Gdk.Key.colon:
+ CommandlineShow();
+ break;
+ case Gdk.Key.Escape:
+ wt.WebView.ExecuteScript("document.activeElement.blur()");
+ break;
+ }
+ }