X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fk-related.ui;h=40175795e9f4948b8392a52cdec263771ce306fa;hb=9b00b43dcc1afbaedd5b104fdfb622e2edcf25f3;hp=4f93eb15bdfa812a3962975278c346aa0a869819;hpb=5cec2f151407ded00c03b00b101578e9123b91b2;p=pspp diff --git a/src/ui/gui/k-related.ui b/src/ui/gui/k-related.ui index 4f93eb15bd..40175795e9 100644 --- a/src/ui/gui/k-related.ui +++ b/src/ui/gui/k-related.ui @@ -190,7 +190,8 @@ - + + horizontal True False 5