make check syntax hide the REPL automatically -- current response to PR 8084

svn: r3194
This commit is contained in:
Robby Findler 2006-06-02 20:53:36 +00:00
parent 02814709c8
commit 3d713533cc
3 changed files with 9 additions and 3 deletions

View File

@ -1032,7 +1032,11 @@ module browser threading seems wrong.
enable-evaluation enable-evaluation
disable-evaluation disable-evaluation
get-definitions/interactions-panel-parent get-definitions/interactions-panel-parent
register-capability-menu-item)) register-capability-menu-item
ensure-rep-shown
ensure-rep-hidden
ensure-defs-shown))
(define frame-mixin (define frame-mixin
(mixin (drscheme:frame:<%> frame:searchable-text<%> frame:delegate<%> frame:open-here<%>) (mixin (drscheme:frame:<%> frame:searchable-text<%> frame:delegate<%> frame:open-here<%>)

View File

@ -924,7 +924,7 @@ If the namespace does not, they are colored the unbound color.
(set! rest-panel r-root) (set! rest-panel r-root)
r-root)) r-root))
(inherit open-status-line close-status-line update-status-line) (inherit open-status-line close-status-line update-status-line ensure-rep-hidden)
;; syncheck:button-callback : (case-> (-> void) ((union #f syntax) -> void) ;; syncheck:button-callback : (case-> (-> void) ((union #f syntax) -> void)
;; this is the only function that has any code running on the user's thread ;; this is the only function that has any code running on the user's thread
(define/public syncheck:button-callback (define/public syncheck:button-callback
@ -934,6 +934,7 @@ If the namespace does not, they are colored the unbound color.
(when (send check-syntax-button is-enabled?) (when (send check-syntax-button is-enabled?)
(open-status-line 'drscheme:check-syntax) (open-status-line 'drscheme:check-syntax)
(update-status-line 'drscheme:check-syntax status-init) (update-status-line 'drscheme:check-syntax status-init)
(ensure-rep-hidden)
(let-values ([(expanded-expression expansion-completed) (make-traversal)]) (let-values ([(expanded-expression expansion-completed) (make-traversal)])
(let* ([definitions-text (get-definitions-text)] (let* ([definitions-text (get-definitions-text)]
[drs-eventspace (current-eventspace)] [drs-eventspace (current-eventspace)]

View File

@ -141,7 +141,8 @@
(build-open-bracket-spec "(let loop " 10 #\() (build-open-bracket-spec "(let loop " 10 #\()
(build-open-bracket-spec "(let loop (" 11 #\[) (build-open-bracket-spec "(let loop (" 11 #\[)
(build-open-bracket-spec "(case x " 8 #\[) (build-open-bracket-spec "(case x " 8 #\[)
(build-open-bracket-spec "(case x [" 9 #\())) (build-open-bracket-spec "(case x [" 9 #\()
(build-open-bracket-spec "(let ([])(" 10 #\()))
(send-sexp-to-mred `(send (make-object frame:basic% "dummy to trick frame group") show #t)) (send-sexp-to-mred `(send (make-object frame:basic% "dummy to trick frame group") show #t))