+keypress(GtkWidget* w, GdkEventKey *ev, gpointer d) {
+ Client *c = (Client *)d;
+
+ if(ev->type == GDK_KEY_PRESS && (ev->state == GDK_CONTROL_MASK
+ || ev->state == (GDK_CONTROL_MASK | GDK_SHIFT_MASK))) {
+ switch(ev->keyval) {
+ case GDK_r:
+ case GDK_R:
+ if((ev->state & GDK_SHIFT_MASK))
+ webkit_web_view_reload_bypass_cache(c->view);
+ else
+ webkit_web_view_reload(c->view);
+ return TRUE;
+ case GDK_go:
+ /* TODO */
+ return TRUE;
+ case GDK_slash:
+ /* TODO */
+ return TRUE;
+ case GDK_Left:
+ webkit_web_view_go_back(c->view);
+ return TRUE;
+ case GDK_Right:
+ webkit_web_view_go_forward(c->view);
+ return TRUE;
+ }
+ }