49ed4a3db3
GPointingDeviceSettings is a GUI tool for setting pointing device such as TrackPoint or Touchpad. Each UI can be written as dynamic loadable module, so a third party can add its own UI. Based on a port from jasper@ with tweaks by ajacoutot@ ok ajacoutot@, jasper@
24 lines
918 B
Plaintext
24 lines
918 B
Plaintext
$OpenBSD: patch-modules_gpds-touchpad-ui_c,v 1.1.1.1 2011/08/31 15:15:25 mpi Exp $
|
|
|
|
Bug: https://bugzilla.gnome.org/show_bug.cgi?id=613022
|
|
Fix: http://git.gnome.org/browse/gpointing-device-settings/commit/?id=70add06dec8413965f3e98b6ba9a3c82168ea72c
|
|
---
|
|
--- modules/gpds-touchpad-ui.c
|
|
+++ modules/gpds-touchpad-ui.c
|
|
@@ -965,8 +965,14 @@
|
|
}
|
|
}
|
|
|
|
- if (!gpds_ui_get_gconf_int(ui, GPDS_TOUCHPAD_TAP_TIME_KEY, &value))
|
|
+ if (!gpds_ui_get_gconf_int(ui, GPDS_TOUCHPAD_TAP_TIME_KEY, &value) && !values) {
|
|
+ if (!gpds_xinput_ui_get_xinput_int_property(GPDS_XINPUT_UI(ui),
|
|
+ GPDS_TOUCHPAD_TAP_TIME,
|
|
+ &values, &n_values)) {
|
|
+ return;
|
|
+ }
|
|
value = values[0];
|
|
+ }
|
|
|
|
double_value = value;
|
|
object = gpds_ui_get_ui_object_by_name(GPDS_UI(ui), "tapping_time_scale");
|