Macro stepper: nicer looking syntax snip props view

svn: r5535
This commit is contained in:
Ryan Culpepper 2007-02-01 23:18:19 +00:00
parent 8ac1fe54e1
commit 2f4e4df213

View File

@ -37,8 +37,9 @@
(lock #f) (lock #f)
(begin-edit-sequence) (begin-edit-sequence)
(erase)) (erase))
(when (syntax? selected-syntax) (if (syntax? selected-syntax)
(refresh/mode mode)) (refresh/mode mode)
(refresh/mode #f))
(send* text (send* text
(end-edit-sequence) (end-edit-sequence)
(lock #t) (lock #t)
@ -49,7 +50,7 @@
(case mode (case mode
((term) (send pdisplayer display-meaning-info selected-syntax)) ((term) (send pdisplayer display-meaning-info selected-syntax))
((stxobj) (send pdisplayer display-stxobj-info selected-syntax)) ((stxobj) (send pdisplayer display-stxobj-info selected-syntax))
((#f) (void)) ((#f) (send pdisplayer display-null-info))
(else (error 'properties-view%:refresh "internal error: no such mode: ~s" mode)))) (else (error 'properties-view%:refresh "internal error: no such mode: ~s" mode))))
;; text : text% ;; text : text%
@ -59,6 +60,7 @@
(send text set-styles-sticky #f) (send text set-styles-sticky #f)
#;(send text hide-caret #t) #;(send text hide-caret #t)
(send text lock #t) (send text lock #t)
(refresh)
(super-new))) (super-new)))
@ -123,6 +125,10 @@
(class* object% () (class* object% ()
(init-field text) (init-field text)
;; display-null-info : -> void
(define/public (display-null-info)
(display "No syntax selected\n" n/a-sd))
;; display-meaning-info : syntax -> void ;; display-meaning-info : syntax -> void
(define/public (display-meaning-info stx) (define/public (display-meaning-info stx)
(when (and (identifier? stx) (when (and (identifier? stx)