1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
var EXPORTED_SYMBOLS = [ "vkgdkmap" ];
const Cu = Components.utils;
Cu.import("chrome://topmenu/content/gdk.js");
/* Hardcoding DOM_VK_* constants, how ugly. */
/* But how to get a window scope from here? Need to access KeyEvent. */
vkgdkmap = {
VK_F1 : gdk.GDK_KEY_F1,
VK_F2 : gdk.GDK_KEY_F2,
VK_F3 : gdk.GDK_KEY_F3,
VK_F4 : gdk.GDK_KEY_F4,
VK_F5 : gdk.GDK_KEY_F5,
VK_F6 : gdk.GDK_KEY_F6,
VK_F7 : gdk.GDK_KEY_F7,
VK_F8 : gdk.GDK_KEY_F8,
VK_F9 : gdk.GDK_KEY_F9,
VK_F10 : gdk.GDK_KEY_F10,
VK_F11 : gdk.GDK_KEY_F11,
VK_F12 : gdk.GDK_KEY_F12,
VK_TAB : gdk.GDK_KEY_Tab,
VK_DELETE : gdk.GDK_KEY_Delete
}
|
