adjusted the way anchored search works so that swithing tabs in drscheme starts you with a new anchor
This commit is contained in:
parent
99708f0b7f
commit
073d947a4c
|
@ -2061,8 +2061,10 @@
|
||||||
(unless hidden?
|
(unless hidden?
|
||||||
(when find-edit
|
(when find-edit
|
||||||
(when old
|
(when old
|
||||||
(send old set-searching-state #f #f #f))
|
(send old set-searching-state #f #f #f)
|
||||||
|
(send old set-search-anchor #f))
|
||||||
(when new
|
(when new
|
||||||
|
(send new set-search-anchor (send new get-start-position))
|
||||||
(search-parameters-changed)))))))
|
(search-parameters-changed)))))))
|
||||||
|
|
||||||
(define/public-final (search-hits-changed)
|
(define/public-final (search-hits-changed)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user