..
original commit: fa9f3fe370de1a8e2ca8f7267e9e0288fb375f8c
This commit is contained in:
parent
cfb0ac20fb
commit
b1c16cfbeb
|
@ -737,8 +737,8 @@
|
||||||
(install-stashed-preferences stashed-prefs))])
|
(install-stashed-preferences stashed-prefs))])
|
||||||
(gui-utils:ok/cancel-buttons
|
(gui-utils:ok/cancel-buttons
|
||||||
bottom-panel
|
bottom-panel
|
||||||
cancel-callback
|
ok-callback
|
||||||
ok-callback)
|
cancel-callback)
|
||||||
(make-object grow-box-spacer-pane% bottom-panel)
|
(make-object grow-box-spacer-pane% bottom-panel)
|
||||||
(send* bottom-panel
|
(send* bottom-panel
|
||||||
(stretchable-height #f)
|
(stretchable-height #f)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user