make tooltips and arrows come and go when scrolling (without moving the
mouse)
This commit is contained in:
parent
e2f1611ab4
commit
d399e094ed
|
@ -24,7 +24,6 @@ If the namespace does not, they are colored the unbound color.
|
||||||
racket/class
|
racket/class
|
||||||
racket/list
|
racket/list
|
||||||
racket/promise
|
racket/promise
|
||||||
racket/pretty
|
|
||||||
racket/dict
|
racket/dict
|
||||||
racket/set
|
racket/set
|
||||||
racket/runtime-path
|
racket/runtime-path
|
||||||
|
@ -32,17 +31,12 @@ If the namespace does not, they are colored the unbound color.
|
||||||
data/interval-map
|
data/interval-map
|
||||||
drracket/tool
|
drracket/tool
|
||||||
syntax/toplevel
|
syntax/toplevel
|
||||||
syntax/boundmap
|
|
||||||
mrlib/switchable-button
|
mrlib/switchable-button
|
||||||
(prefix-in drracket:arrow: drracket/arrow)
|
(prefix-in drracket:arrow: drracket/arrow)
|
||||||
(prefix-in fw: framework/framework)
|
(prefix-in fw: framework/framework)
|
||||||
mred
|
mred
|
||||||
framework
|
framework
|
||||||
setup/xref
|
|
||||||
scribble/xref
|
|
||||||
scribble/manual-struct
|
|
||||||
net/url
|
net/url
|
||||||
net/uri-codec
|
|
||||||
browser/external
|
browser/external
|
||||||
(for-syntax racket/base)
|
(for-syntax racket/base)
|
||||||
(only-in ffi/unsafe register-finalizer)
|
(only-in ffi/unsafe register-finalizer)
|
||||||
|
@ -769,6 +763,7 @@ If the namespace does not, they are colored the unbound color.
|
||||||
|
|
||||||
(define/override (on-paint before dc left top right bottom dx dy draw-caret)
|
(define/override (on-paint before dc left top right bottom dx dy draw-caret)
|
||||||
(when (and arrow-records (not before))
|
(when (and arrow-records (not before))
|
||||||
|
(syncheck:update-drawn-arrows)
|
||||||
(let ([draw-arrow2
|
(let ([draw-arrow2
|
||||||
(λ (arrow)
|
(λ (arrow)
|
||||||
(unless (arrow-start-x arrow)
|
(unless (arrow-start-x arrow)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user