X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Ftext-data-import.ui;h=3cc118610fd4a780a521e23aec3afd5e97444aab;hb=dca2c29703057e9b77302cd6241d0c36a0d3a63f;hp=14c2bed0ed0272068cd3ac50a5a083eef72980da;hpb=691a034d7f2139076fa012739dffd40ef5db4a9b;p=pspp diff --git a/src/ui/gui/text-data-import.ui b/src/ui/gui/text-data-import.ui index 14c2bed0ed..3cc118610f 100644 --- a/src/ui/gui/text-data-import.ui +++ b/src/ui/gui/text-data-import.ui @@ -1,3 +1,4 @@ + @@ -14,7 +15,6 @@ - @@ -93,6 +93,7 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK vertical 94 + True True @@ -106,6 +107,7 @@ True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 12 + 12 @@ -133,6 +135,7 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 0 none + 12 True @@ -511,7 +514,7 @@ 6 6 - + True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -522,6 +525,11 @@ False + + '" + ' + " + 1