fixed a bug in drracket language dialog (that I introduced yesterday or so)
This commit is contained in:
parent
4cd7152b62
commit
c1110d9056
|
@ -392,7 +392,7 @@
|
||||||
(on-click-always #t)
|
(on-click-always #t)
|
||||||
(allow-deselect #t)))
|
(allow-deselect #t)))
|
||||||
|
|
||||||
(define outermost-panel (new vertical-panel% [parent parent]))
|
(define outermost-panel (new horizontal-pane% [parent parent]))
|
||||||
(define languages-choice-panel (new vertical-panel%
|
(define languages-choice-panel (new vertical-panel%
|
||||||
[parent outermost-panel]
|
[parent outermost-panel]
|
||||||
[alignment '(left top)]))
|
[alignment '(left top)]))
|
||||||
|
@ -937,7 +937,6 @@
|
||||||
(send languages-hier-list allow-tab-exit #t)
|
(send languages-hier-list allow-tab-exit #t)
|
||||||
(send parent reflow-container)
|
(send parent reflow-container)
|
||||||
(close-all-languages)
|
(close-all-languages)
|
||||||
(send outermost-panel focus) ;; make sure it gets keyboard events
|
|
||||||
(open-current-language)
|
(open-current-language)
|
||||||
(send languages-hier-list min-client-width (text-width (send languages-hier-list get-editor)))
|
(send languages-hier-list min-client-width (text-width (send languages-hier-list get-editor)))
|
||||||
(send languages-hier-list min-client-height (text-height (send languages-hier-list get-editor)))
|
(send languages-hier-list min-client-height (text-height (send languages-hier-list get-editor)))
|
||||||
|
@ -947,7 +946,6 @@
|
||||||
(do-construct-details))
|
(do-construct-details))
|
||||||
(update-show/hide-details)
|
(update-show/hide-details)
|
||||||
(size-discussion-canvas in-source-discussion-editor-canvas)
|
(size-discussion-canvas in-source-discussion-editor-canvas)
|
||||||
(send outermost-panel focus) ;; make sure it gets keyboard events
|
|
||||||
(values
|
(values
|
||||||
(λ () selected-language)
|
(λ () selected-language)
|
||||||
(λ ()
|
(λ ()
|
||||||
|
|
Loading…
Reference in New Issue
Block a user