X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Fsplit-file.ui;h=934f92091a917dc4dc1bab97896f05829d0fb908;hb=dd0ea133078927381585e532d86c2450cbb35576;hp=902b01b6a0804f5cb665869224c96cb263d29f0c;hpb=0df9cdd3df66caf4353128feff3008289cda8115;p=pspp diff --git a/src/ui/gui/split-file.ui b/src/ui/gui/split-file.ui index 902b01b6a0..934f92091a 100644 --- a/src/ui/gui/split-file.ui +++ b/src/ui/gui/split-file.ui @@ -8,7 +8,7 @@ Split File True SPLIT-FILE - + True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK