diff Gui/wm/wsmkeys.h @ 11793:faa111ce1315

Support binding F11 and F12 keys to commands.
author diego
date Fri, 16 Jan 2004 17:31:38 +0000
parents 39c2bfe5c267
children
line wrap: on
line diff
--- a/Gui/wm/wsmkeys.h	Fri Jan 16 05:44:03 2004 +0000
+++ b/Gui/wm/wsmkeys.h	Fri Jan 16 17:31:38 2004 +0000
@@ -28,6 +28,7 @@
 
   { wsF1, "F1" }, { wsF2, "F2" }, { wsF3, "F3" }, { wsF4, "F4" }, { wsF5,   "F5" },
   { wsF6, "F6" }, { wsF7, "F7" }, { wsF8, "F8" }, { wsF9, "F9" }, { wsF10, "F10" },
+  { wsF11, "F11" }, { wsF12, "F12" },
 
   { wsEnter,         "Enter" }, { wsTab,             "Tab" }, { wsSpace,         "Space" },
   { wsInsert,       "Insert" }, { wsDelete,       "Delete" }, { wsHome,           "Home" },