use the new feature of panel:dragable (from previous commit) to make the
'put definitions beside interactions' preference changes take effect immediately
This commit is contained in:
parent
9a485dd492
commit
092b966b83
|
@ -3928,6 +3928,8 @@ module browser threading seems wrong.
|
|||
vertical-dragable/def-int%)
|
||||
(unit-frame this)
|
||||
(parent panel-with-tabs))]
|
||||
[define orientation-callback (λ (p v) (send resizable-panel set-orientation v))]
|
||||
(preferences:add-callback 'drracket:defs/ints-horizontal orientation-callback #t)
|
||||
|
||||
[define definitions-canvas #f]
|
||||
(initialize-definitions-canvas)
|
||||
|
|
Loading…
Reference in New Issue
Block a user