X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpsppire.ui;h=2c7c34195a5bbbdbaa82f428c5cc66252cbdfce3;hb=dedd3f83e7c6e77f96b6f4b11e4cebe8b14d91f5;hp=99d9ed06e0db861293070fcf5d6827f2071dce4d;hpb=7c2fa3735ac1115b6c1ad4b5e0613673de2faf4c;p=pspp-builds.git
diff --git a/src/ui/gui/psppire.ui b/src/ui/gui/psppire.ui
index 99d9ed06..2c7c3419 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
-