nsfb-F10-exit.patch

   1 --- netsurf-2.9/netsurf-2.9/framebuffer/fbtk/event.c.f10        2013-01-09 20:36:52.505933180 +0100
   2 +++ netsurf-2.9/netsurf-2.9/framebuffer/fbtk/event.c    2013-01-09 20:37:38.776648741 +0100
   3 @@ -199,6 +199,13 @@ 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 +
  14                 if ((event->value.controlcode >= NSFB_KEY_MOUSE_1) &&
  15                     (event->value.controlcode <= NSFB_KEY_MOUSE_5)) {
  16                         fbtk_click(root, event);