X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Fpsppire.ui;h=2c7c34195a5bbbdbaa82f428c5cc66252cbdfce3;hb=cded1cb84dcf229aa26fa474e52e69109557d83a;hp=99d9ed06e0db861293070fcf5d6827f2071dce4d;hpb=c81ed3d3c60ca7d576ef9d3d9c9d6863d6f11bf5;p=pspp
diff --git a/src/ui/gui/psppire.ui b/src/ui/gui/psppire.ui
index 99d9ed06e0..2c7c34195a 100644
--- a/src/ui/gui/psppire.ui
+++ b/src/ui/gui/psppire.ui
@@ -299,7 +299,7 @@
never
automatic
-
@@ -552,7 +553,7 @@
never
automatic
-
+
True
True
GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
@@ -1720,7 +1721,6 @@
True
GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
True
- adjustment4
2
@@ -1735,7 +1735,6 @@
True
GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
True
- adjustment3
1
@@ -1983,7 +1982,6 @@
True
True
GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
- adjustment2
1
@@ -2116,7 +2114,6 @@
True
True
GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
- adjustment1
1
@@ -2274,34 +2271,4 @@
-
- 1
- 1
- 100
- 1
- 10
- 10
-
-
- 8
- 1
- 32767
- 1
- 10
- 10
-
-
- 1
- 1
- 10
- 10
-
-
- 1
- 1
- 100
- 1
- 10
- 10
-