..
original commit: aa149bc9bb2799ee7d64dfadfe5f96afdcae365f
This commit is contained in:
parent
3fb1e1b033
commit
27ee8bece6
|
@ -17,7 +17,8 @@
|
||||||
(import mred^
|
(import mred^
|
||||||
[exn : framework:exn^]
|
[exn : framework:exn^]
|
||||||
[exit : framework:exit^]
|
[exit : framework:exit^]
|
||||||
[panel : framework:panel^])
|
[panel : framework:panel^]
|
||||||
|
[frame : framework:frame^])
|
||||||
|
|
||||||
(rename [-read read])
|
(rename [-read read])
|
||||||
|
|
||||||
|
@ -696,16 +697,14 @@
|
||||||
(lambda ()
|
(lambda ()
|
||||||
(letrec ([stashed-prefs (get-preference main-preferences-symbol (lambda () null))]
|
(letrec ([stashed-prefs (get-preference main-preferences-symbol (lambda () null))]
|
||||||
[frame
|
[frame
|
||||||
(make-object (class100 frame% args
|
(make-object (class frame:basic%
|
||||||
(public
|
(define/public (added-pane title)
|
||||||
[added-pane
|
(lambda (title)
|
||||||
(lambda (title)
|
(ensure-constructed)
|
||||||
(ensure-constructed)
|
(send tap-panel append title)))
|
||||||
(send tap-panel append title))])
|
(super-instantiate ()))
|
||||||
(sequence
|
|
||||||
(apply super-init args)))
|
|
||||||
(string-constant preferences))]
|
(string-constant preferences))]
|
||||||
[panel (make-object vertical-panel% frame)]
|
[panel (make-object vertical-panel% (send frame get-area-container))]
|
||||||
[popup-callback
|
[popup-callback
|
||||||
(lambda (tab-panel evt)
|
(lambda (tab-panel evt)
|
||||||
(unless (null? ppanels)
|
(unless (null? ppanels)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user