nsfb-F10-exit.patch

   1 --- netsurf-full-3.0/src/netsurf-3.0/framebuffer/fbtk/event.c.ff        2013-05-03 13:30:14.068056595 +0200
   2 +++ netsurf-full-3.0/src/netsurf-3.0/framebuffer/fbtk/event.c   2013-05-03 13:32:35.986917982 +0200
   3 @@ -218,6 +218,12 @@ fbtk_event(fbtk_widget_t *root, nsfb_eve
   4                 switch (event->type) {
   5                 case NSFB_EVENT_KEY_DOWN:
   6                 case NSFB_EVENT_KEY_UP:
   7 +                       if (event->value.keycode == NSFB_KEY_F10) {
   8 +                               event->type = NSFB_EVENT_CONTROL;
   9 +                               event->value.controlcode = NSFB_CONTROL_QUIT;
  10 +                               unused = true;
  11 +                               break;
  12 +                       }
  13                         if ((event->value.keycode >= NSFB_KEY_MOUSE_1) &&
  14                             (event->value.keycode <= NSFB_KEY_MOUSE_5)) {
  15                                 fbtk_click(root, event);