...
original commit: 6a52c92e6e9181826ad588a1968ccc734aa6c14e
This commit is contained in:
parent
7f953c23f9
commit
351b8744c0
|
@ -801,8 +801,11 @@
|
|||
|
||||
(public
|
||||
[get-info-panel
|
||||
(let ([info-panel (make-object horizontal-panel% super-root)])
|
||||
(let* ([outer-info-panel (make-object horizontal-panel% super-root)]
|
||||
[info-panel (make-object horizontal-panel% outer-info-panel)]
|
||||
[spacer (make-object grow-box-spacer-pane% outer-info-panel)])
|
||||
(lambda ()
|
||||
(send outer-info-panel stretchable-height #f)
|
||||
info-panel))])
|
||||
(private
|
||||
[lock-message (make-object message%
|
||||
|
|
|
@ -80,9 +80,8 @@
|
|||
(apply super-init args)))]
|
||||
[(panel) (make-object vertical-pane% frame)]
|
||||
[(logo-canvas) (make-object splash-canvas% panel)]
|
||||
[(h-panel) (make-object vertical-pane% panel)]
|
||||
[(gauge) (make-object gauge% #f splash-max-width h-panel
|
||||
'(horizontal))]
|
||||
[(h-panel) (make-object horizontal-pane% panel)]
|
||||
[(gauge) (make-object gauge% #f splash-max-width h-panel '(horizontal))]
|
||||
[(spacer) (make-object grow-box-spacer-pane% h-panel)]
|
||||
[(_3) (begin
|
||||
(send frame set-alignment 'center 'center)
|
||||
|
|
Loading…
Reference in New Issue
Block a user