X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foptions.ui;h=75e827fcf357ffd7d7ad269d7461a1e3b2f79315;hb=b2b5300cd5deace18d4277c58dcbac7993693863;hp=a3f45d9e6ff5a819a66cf7b0e630607739cfe95f;hpb=158b6b7f7f3c1ea4ea4443ecb87d2a980808577b;p=pspp
diff --git a/src/ui/gui/options.ui b/src/ui/gui/options.ui
index a3f45d9e6f..75e827fcf3 100644
--- a/src/ui/gui/options.ui
+++ b/src/ui/gui/options.ui
@@ -151,7 +151,75 @@
-
+
+
+
+
vertical