commented out duplicate method
svn: r11335
This commit is contained in:
parent
978ca07626
commit
f095993e4c
|
@ -430,7 +430,7 @@
|
|||
(define (java-lang-mixin level name number one-line dyn? manual-dirname)
|
||||
(when dyn? (dynamic? #t))
|
||||
(class* object% (drscheme:language:language<%>)
|
||||
(define/public (front-end/finished-complete-program settings) (void))
|
||||
#;(define/public (front-end/finished-complete-program settings) (void))
|
||||
(define/public (extra-repl-information settings port) (void))
|
||||
(define/public (get-reader-module) #f)
|
||||
(define/public (get-metadata a b) #f)
|
||||
|
|
Loading…
Reference in New Issue
Block a user