X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsplit-file.ui;h=dbceab3746bc93ac83766cd9848dde37c4e9b818;hb=51cf173b5eaaa8c5cc6233f9c8924eb44498e89d;hp=ab0fb42132f716e74f466b876dab778d19b10254;hpb=691a034d7f2139076fa012739dffd40ef5db4a9b;p=pspp diff --git a/src/ui/gui/split-file.ui b/src/ui/gui/split-file.ui index ab0fb42132..dbceab3746 100644 --- a/src/ui/gui/split-file.ui +++ b/src/ui/gui/split-file.ui @@ -1,3 +1,4 @@ + @@ -14,17 +15,16 @@ - - + False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK Split File True - SPLIT-FILE + SPLIT-FILE True @@ -368,7 +368,7 @@ - + vertical True False