Remove unnecessary gui.rkt imports.
This commit is contained in:
parent
b61ecf9874
commit
025c5f3cf1
|
@ -1,9 +1,7 @@
|
||||||
(module gui frtime
|
(module gui frtime
|
||||||
(require
|
(require
|
||||||
(all-except mzlib/etc rec)
|
(all-except mzlib/etc rec)
|
||||||
frtime/gui/fred
|
frtime/gui/fred)
|
||||||
(rename frtime/core/frp proc->signal proc->signal)
|
|
||||||
(all-except mred send-event))
|
|
||||||
|
|
||||||
(define frame (new ft-frame% [label "GUI"] [min-height 150] [min-width 200] [shown #t]))
|
(define frame (new ft-frame% [label "GUI"] [min-height 150] [min-width 200] [shown #t]))
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user