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

Check Syntax: added "Tack arrows crossing selection"

Browse Source 
svn: r13498
This commit is contained in:
Ryan Culpepper 2009-02-09 04:57:46 +00:00
parent 9dbb9f1121
commit 04582535ef
1 changed files with 32 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
collects/drscheme/syncheck.ss
View File

@ -685,9 +685,11 @@ If the namespace does not, they are colored the unbound color.
(if (and pos (is-a? text text%)) (if (and pos (is-a? text text%))
(let ([arrow-vector (hash-ref arrow-vectors text (λ () #f))]) (let ([arrow-vector (hash-ref arrow-vectors text (λ () #f))])
(when arrow-vector (when arrow-vector
(let ([vec-ents (vector-ref arrow-vector pos)]) (let ([vec-ents (vector-ref arrow-vector pos)]
[start-selection (send text get-start-position)]
[end-selection (send text get-end-position)])
(cond (cond
[(null? vec-ents) [(and (null? vec-ents) (= start-selection end-selection))
(super on-event event)] (super on-event event)]
[else [else
(let* ([menu (make-object popup-menu% #f)] (let* ([menu (make-object popup-menu% #f)]
@ -716,6 +718,16 @@ If the namespace does not, they are colored the unbound color.
jump-to-binding jump-to-binding
menu menu
(λ (item evt) (jump-to-binding-callback arrows)))) (λ (item evt) (jump-to-binding-callback arrows))))
(unless (= start-selection end-selection)
(make-object menu-item%
"Tack arrows crossing selection"
menu
(lambda (item evt)
(tack-crossing-arrows-callback
arrow-vector
start-selection
end-selection
text))))
(for-each (λ (f) (f menu)) add-menus) (for-each (λ (f) (f menu)) add-menus)
(send (get-canvas) popup-menu menu (send (get-canvas) popup-menu menu
(+ 1 (inexact->exact (floor (send event get-x)))) (+ 1 (inexact->exact (floor (send event get-x))))
@ -791,6 +803,24 @@ If the namespace does not, they are colored the unbound color.
arrows)) arrows))
(invalidate-bitmap-cache)) (invalidate-bitmap-cache))
(define/private (tack-crossing-arrows-callback arrow-vector start end text)
(define (xor a b)
(or (and a (not b)) (and (not a) b)))
(define (within t p)
(and (eq? t text)
(<= start p end)))
(for ([position (in-range start end)])
(define things (vector-ref arrow-vector position))
(for ([va things] #:when (var-arrow? va))
(define va-start (var-arrow-start-pos-left va))
(define va-start-text (var-arrow-start-text va))
(define va-end (var-arrow-end-pos-left va))
(define va-end-text (var-arrow-end-text va))
(when (xor (within va-start-text va-start)
(within va-end-text va-end))
(hash-set! tacked-hash-table va #t))))
(invalidate-bitmap-cache))
;; syncheck:jump-to-binding-occurrence : text -> void ;; syncheck:jump-to-binding-occurrence : text -> void
;; jumps to the next occurrence, based on the insertion point ;; jumps to the next occurrence, based on the insertion point
(define/public (syncheck:jump-to-next-bound-occurrence text) (define/public (syncheck:jump-to-next-bound-occurrence text)