
 const char * const fl_eventnames[] =
 {
   "FL_NO_EVENT",
   "FL_PUSH",
   "FL_RELEASE",
   "FL_ENTER",
   "FL_LEAVE",
   "FL_DRAG",
   "FL_FOCUS",
   "FL_UNFOCUS",
   "FL_KEYDOWN",
   "FL_KEYUP",
   "FL_CLOSE", // 10
   "FL_MOVE", //  11 seems to also be window resize
   "FL_SHORTCUT",
   "FL_DEACTIVATE",
   "FL_ACTIVATE",
   "FL_HIDE",
   "FL_SHOW",
   "FL_PASTE",
   "FL_SELECTIONCLEAR",
   "FL_MOUSEWHEEL",
   "FL_DND_ENTER",
   "FL_DND_DRAG",
   "FL_DND_LEAVE",
   "FL_DND_RELEASE",
   "FL_SCREEN_CONFIGURATION_CHANGED",
   "FL_FULLSCREEN",
   "FL_ZOOM_GESTURE",
   "FL_EVENT_27",  // not yet defined, just in case they /will/ be defined ...
   "FL_EVENT_28",
   "FL_EVENT_29",
   "FL_EVENT_30"
 };

 const char * const fl_fontnames[] =
 {
   "FL_HELVETICA",
   "FL_HELVETICA_BOLD",
   "FL_HELVETICA_ITALIC",
   "FL_HELVETICA_BOLD_ITALIC",
   "FL_COURIER",
   "FL_COURIER_BOLD",
   "FL_COURIER_ITALIC",
   "FL_COURIER_BOLD_ITALIC",
   "FL_TIMES",
   "FL_TIMES_BOLD",
   "FL_TIMES_ITALIC",
   "FL_TIMES_BOLD_ITALIC",
   "FL_SYMBOL",
   "FL_SCREEN",
   "FL_SCREEN_BOLD",
   "FL_ZAPF_DINGBATS",
 };
