From 1fbcb3f7bf7ddf955193d798837ab88cf2815112 Mon Sep 17 00:00:00 2001 From: Javier Date: Sun, 23 Feb 2014 18:32:00 +0100 Subject: convert into a restartless extension --- chrome/content/gdk.js | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) (limited to 'chrome/content/gdk.js') 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); -- cgit v1.2.3