suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

another module-body duplication

Browse Source
This commit is contained in:
Matthew Flatt 2010-12-15 12:28:09 -07:00
parent 31906d6261
commit 489c5de9e8
1 changed files with 0 additions and 63 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

63
collects/deinprogramm/signature/tool.rkt
View File

@ -6,69 +6,6 @@
string-constants) string-constants)
(provide tool@) (provide tool@)
(define tool@
(unit (import drracket:tool^) (export drracket:tool-exports^)
(define (phase1) (void))
(define (phase2) (void))
(define (signatures-frame-mixin %)
(class* % ()
(inherit get-current-tab)
(inherit register-capability-menu-item get-language-menu)
(define/private (signatures-menu-init)
(let ([language-menu (get-language-menu)]
[enable-label (string-constant signature-enable-checks)]
[disable-label (string-constant signature-disable-checks)])
(make-object separator-menu-item% language-menu)
(register-capability-menu-item 'signatures:signatures-menu language-menu)
(letrec ([enable-menu-item%
(class menu:can-restore-menu-item%
(define enabled? #t)
(define/public (is-signature-checking-enabled?) enabled?)
(define/public (set-signature-checking-enabled?! e) (set! enabled? e))
(inherit set-label)
(define/public (enable-signature-checking)
(unless enabled?
(set! enabled? #t)
(set-label disable-label)
(put-preferences '(signatures:enable-checking?) '(#t))))
(define/public (disable-signature-checking)
(when enabled?
(set! enabled? #f)
(set-label enable-label)
(put-preferences '(signatures:enable-checking?) '(#f))))
(super-instantiate ()))]
[enable? (get-preference 'signatures:enable-checking? (lambda () #t))]
[enable-menu-item (make-object enable-menu-item%
(if enable? disable-label enable-label)
language-menu
(lambda (_1 _2)
(if (send _1 is-signature-checking-enabled?)
(send _1 disable-signature-checking)
(send _1 enable-signature-checking))) #f)])
(send enable-menu-item set-signature-checking-enabled?! enable?)
(register-capability-menu-item 'signatures:signatures-menu language-menu))))
(unless (drracket:language:capability-registered? 'signatures:signatures-menu)
(drracket:language:register-capability 'signatures:signatures-menu (flat-contract boolean?) #f))
(super-instantiate ())
(signatures-menu-init)
))
(drracket:get/extend:extend-unit-frame signatures-frame-mixin)
))#lang racket/base
(require racket/file racket/class racket/unit racket/contract
drracket/tool
mred framework
string-constants)
(provide tool@)
(define tool@ (define tool@
(unit (import drracket:tool^) (export drracket:tool-exports^) (unit (import drracket:tool^) (export drracket:tool-exports^)