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

Macro stepper: show/hide props reflows syntax display

Browse Source 
svn: r5451
This commit is contained in:
Ryan Culpepper 2007-01-25 05:11:05 +00:00
parent 9774e0926d
commit cf3da5cf7d
2 changed files with 14 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/macro-debugger/syntax-browser/widget.ss
View File

@ -49,10 +49,9 @@
(send -text lock #t)
(send -split-panel set-percentages
(list (- 1 props-percentage) props-percentage))
(toggle-props)
;; syntax-properties-controller<%> methods
(define/public (set-syntax stx)
(send props set-syntax stx))
@ -135,7 +134,7 @@
(define char-width (send style get-text-width (send -ecanvas get-dc)))
(define-values (canvas-w canvas-h) (send -ecanvas get-client-size))
(sub1 (inexact->exact (floor (/ canvas-w char-width)))))
(super-new)))
))

15
collects/macro-debugger/view/gui.ss
View File

@ -196,6 +196,7 @@
(frame:reorder-menus this)
))
;; macro-stepper-widget%
(define macro-stepper-widget%
(class* object% ()
@ -251,7 +252,6 @@
(parent area)
(macro-stepper this)
(pref:props-percentage pref:props-percentage)))
(send sbview show-props (send config get-show-syntax-properties?))
(send config listen-show-syntax-properties?
(lambda (show?) (send sbview show-props show?)))
@ -265,7 +265,6 @@
(config config)))
(send config listen-show-hiding-panel?
(lambda (show?) (show-macro-hiding-prefs show?)))
(show-macro-hiding-prefs (send config get-show-hiding-panel?))
(send sbc add-selection-listener
(lambda (stx) (send macro-hiding-prefs set-syntax stx)))
@ -560,7 +559,7 @@
(extract-protostep-seq step))]))))
;; restore-position : number -> void
(define (restore-position)
(define/private (restore-position)
(define (advance)
(let ([step (cursor:current steps)])
(cond [(not step)
@ -660,7 +659,10 @@
;; Initialization
(super-new)
(refresh/move/cached-prefix)))
(send sbview show-props (send config get-show-syntax-properties?))
(show-macro-hiding-prefs (send config get-show-hiding-panel?))
(refresh/move/cached-prefix)
))
;; Main entry points
@ -767,6 +769,11 @@
(editor text)
(widget this)
(macro-stepper macro-stepper)))
(define/override (show-props show?)
(super show-props show?)
(send macro-stepper update/preserve-view))
(super-new)))))
;; Linking