Removing old GUI launcher
svn: r12414
This commit is contained in:
parent
a9ec217902
commit
a2b5ebb64c
|
@ -1,21 +0,0 @@
|
|||
#lang scheme/base
|
||||
(require mzlib/class
|
||||
mred)
|
||||
(require "private/launch.ss")
|
||||
|
||||
(define shutdown (serve))
|
||||
|
||||
(when (current-eventspace-has-menu-root?)
|
||||
(let ([mb (make-object menu-bar% 'root)])
|
||||
(unless (current-eventspace-has-standard-menus?)
|
||||
(make-object menu-item%
|
||||
"Quit"
|
||||
(make-object menu% "File" mb)
|
||||
(lambda (i e)
|
||||
(shutdown)
|
||||
(exit))))))
|
||||
(application-quit-handler (lambda ()
|
||||
(shutdown)
|
||||
(exit)))
|
||||
|
||||
(yield (make-semaphore))
|
Loading…
Reference in New Issue
Block a user