commit c8e0ffabc41260c26d452c08d1f34fdc32a9bac3
parent 6d309cd4be8bd10adfee252d62ec2acfcdf65503
Author: Paul Steckler <steck@stecksoft.com>
Date: Mon, 15 Jul 2002 17:12:41 +0000
iconic
original commit: 9821598a427dd02baf5bf34e04a3470c8dd6880f
Diffstat:
1 file changed, 10 insertions(+), 1 deletion(-)
diff --git a/collects/help/help.ss b/collects/help/help.ss
@@ -11,6 +11,7 @@
(define launch-browser? #t)
(define external-connections? #f)
+ (define iconize? #f)
(define port #f)
(command-line
@@ -21,6 +22,8 @@
(set! launch-browser? #f)]
[("-x" "--external-connections") "Allow external connections"
(set! external-connections? #t)]
+ [("-i" "--iconizer") "Iconize the control panel"
+ (set! iconize? #t)]
[("-p" "--port") number "Use given port number"
(with-handlers
((void (lambda _
@@ -79,7 +82,13 @@
(stretchable-height #f)))
(send frame center)
- (send frame show #t))
+ (send frame show #t)
+ (when iconize?
+ (send frame iconize #t)))
+
+
+
+