diff options
| author | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-09-20 21:35:54 -0300 |
|---|---|---|
| committer | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-09-20 21:35:54 -0300 |
| commit | 19d0c098d66c67860d212786491f5285014a9e09 (patch) | |
| tree | a7bdcaeee20b3fdfd8832c2a93bc749fa96e87f6 /gnome-unstable/gtk3/wacom.patch | |
| parent | 188f3616b7866423727869599710ab44dff19945 (diff) | |
Removed uneeded files
Diffstat (limited to 'gnome-unstable/gtk3/wacom.patch')
| -rw-r--r-- | gnome-unstable/gtk3/wacom.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/gnome-unstable/gtk3/wacom.patch b/gnome-unstable/gtk3/wacom.patch deleted file mode 100644 index 79ad84fc6..000000000 --- a/gnome-unstable/gtk3/wacom.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff -u -r gtk+-3.4.2/gdk/x11/gdkdevicemanager-xi2.c gtk+-3.4.2-wacom/gdk/x11/gdkdevicemanager-xi2.c ---- gtk+-3.4.2/gdk/x11/gdkdevicemanager-xi2.c 2012-05-02 14:45:04.000000000 +0200 -+++ gtk+-3.4.2-wacom/gdk/x11/gdkdevicemanager-xi2.c 2012-05-03 18:34:18.034807644 +0200 -@@ -331,6 +331,8 @@ - input_source = GDK_SOURCE_ERASER; - else if (strstr (tmp_name, "cursor")) - input_source = GDK_SOURCE_CURSOR; -+ else if (strstr (tmp_name, "finger")) -+ input_source = GDK_SOURCE_TOUCHSCREEN; - else if (strstr (tmp_name, "wacom") || - strstr (tmp_name, "pen")) - input_source = GDK_SOURCE_PEN; |