X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Ftext-data-import.ui;h=084f1f5c37954c6219ef1d4723b979fead244891;hb=7c56b7a982761bd1a88cb486ee66fef992d8b8a7;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..084f1f5c37 100644 --- a/src/ui/gui/text-data-import.ui +++ b/src/ui/gui/text-data-import.ui @@ -1,3 +1,4 @@ + @@ -14,10 +15,9 @@ - - + True False @@ -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