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

Highlighting regions in Check Syntax now remember which text to apply it to; behaves better with embedded editors.

Browse Source 
svn: r10582
This commit is contained in:
Danny Yoo 2008-07-03 17:37:42 +00:00
parent 8e663a23f4
commit 843ad2b39a
1 changed files with 12 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
collects/drscheme/syncheck.ss
View File

@ -142,9 +142,10 @@ If the namespace does not, they are colored the unbound color.
(define-struct (tail-arrow arrow) (from-text from-pos to-text to-pos))
;; color : string
;; text: text:basic<%>
;; start, fin: number
;; used to represent regions to highlight when passing the mouse over the syncheck window
(define-struct colored-region (color start fin))
(define-struct colored-region (color text start fin))
;; id : symbol -- the nominal-source-id from identifier-binding
;; filename : path
@ -399,7 +400,8 @@ If the namespace does not, they are colored the unbound color.
(add-to-range/key text start-pos end-pos make-menu key #t)))
(define/public (syncheck:add-background-color text color start fin key)
(add-to-range/key text start fin (make-colored-region color start fin) key #f))
(when (is-a? text text:basic<%>)
(add-to-range/key text start fin (make-colored-region color text start fin) key #f)))
;; syncheck:add-arrow : symbol text number number text number number boolean -> void
;; pre: start-editor, end-editor are embedded in `this' (or are `this')
@ -755,13 +757,15 @@ If the namespace does not, they are colored the unbound color.
(let ([new-region (and eles (ormap (λ (x) (and (colored-region? x) x)) eles))])
(unless (eq? current-colored-region new-region)
(when current-colored-region
(unhighlight-range (colored-region-start current-colored-region)
(colored-region-fin current-colored-region)
(send the-color-database find-color (colored-region-color current-colored-region))))
(send (colored-region-text current-colored-region) unhighlight-range
(colored-region-start current-colored-region)
(colored-region-fin current-colored-region)
(send the-color-database find-color (colored-region-color current-colored-region))))
(when new-region
(highlight-range (colored-region-start new-region)
(colored-region-fin new-region)
(send the-color-database find-color (colored-region-color new-region))))
(send (colored-region-text new-region) highlight-range
(colored-region-start new-region)
(colored-region-fin new-region)
(send the-color-database find-color (colored-region-color new-region))))
(set! current-colored-region new-region))))
;; tack/untack-callback : (listof arrow) -> void