Skip to content

Commit e70f8c0

Browse files
committed
tweak layout of new checkboxes
1 parent 6e4e770 commit e70f8c0

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

gui-lib/framework/private/preferences.rkt

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -462,7 +462,8 @@ the state transitions / contracts are:
462462
(list (string-constant editor-prefs-panel-label)
463463
(string-constant editor-general-prefs-panel-label))
464464
(λ (editor-panel)
465-
(define narrow-checkboxes-hp (new horizontal-panel% [parent editor-panel] [stretchable-height #f]))
465+
(define narrow-checkboxes-hp
466+
(new horizontal-panel% [parent editor-panel] [stretchable-height #f] [alignment '(left top)]))
466467
(define narrow-checkboxes-left
467468
(new vertical-panel% [parent narrow-checkboxes-hp] [stretchable-height #f] [alignment '(left top)]))
468469
(define narrow-checkboxes-right

0 commit comments

Comments
 (0)