diff options
| author | Javier <dev.git@javispedro.com> | 2014-02-23 18:32:00 +0100 |
|---|---|---|
| committer | Javier <dev.git@javispedro.com> | 2014-02-23 18:32:00 +0100 |
| commit | 1fbcb3f7bf7ddf955193d798837ab88cf2815112 (patch) | |
| tree | 5c8d4f8c07e61a6ee72a00a2a47e6365f5689b38 /chrome/content/gdk.js | |
| parent | b0f4f142bf7abdcc1a8b9437911b6794a3cb09d2 (diff) | |
| download | topmenu-mozilla-1fbcb3f7bf7ddf955193d798837ab88cf2815112.tar.gz topmenu-mozilla-1fbcb3f7bf7ddf955193d798837ab88cf2815112.zip | |
convert into a restartless extension
Diffstat (limited to 'chrome/content/gdk.js')
| -rw-r--r-- | chrome/content/gdk.js | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/chrome/content/gdk.js b/chrome/content/gdk.js index 25458ef..d70dfc3 100644 --- a/chrome/content/gdk.js +++ b/chrome/content/gdk.js @@ -32,6 +32,16 @@ function defines(lib) { this.GDK_KEY_Return = 0xff0d; this.GDK_KEY_Escape = 0xff1b; this.GDK_KEY_Delete = 0xffff; + this.GDK_KEY_Home = 0xff50; + this.GDK_KEY_Left = 0xff51; + this.GDK_KEY_Up = 0xff52; + this.GDK_KEY_Right = 0xff53; + this.GDK_KEY_Down = 0xff54; + this.GDK_KEY_Prior = 0xff55; + this.GDK_KEY_Page_Up = 0xff55; + this.GDK_KEY_Next = 0xff56; + this.GDK_KEY_Page_Down = 0xff56; + this.GDK_KEY_End = 0xff57; this.GDK_KEY_F1 = 0xffbe; this.GDK_KEY_F2 = 0xffbf; this.GDK_KEY_F3 = 0xffc0; @@ -45,16 +55,6 @@ function defines(lib) { this.GDK_KEY_F11 = 0xffc8; this.GDK_KEY_L1 = 0xffc8; this.GDK_KEY_F12 = 0xffc9; - this.GDK_KEY_Home = 0xff50; - this.GDK_KEY_Left = 0xff51; - this.GDK_KEY_Up = 0xff52; - this.GDK_KEY_Right = 0xff53; - this.GDK_KEY_Down = 0xff54; - this.GDK_KEY_Prior = 0xff55; - this.GDK_KEY_Page_Up = 0xff55; - this.GDK_KEY_Next = 0xff56; - this.GDK_KEY_Page_Down = 0xff56; - this.GDK_KEY_End = 0xff57; lib.lazy_bind("gdk_window_get_toplevel", this.GdkWindow.ptr, this.GdkWindow.ptr); |