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

make the module browser report the search result counts

Browse Source 
and, when the search string is empty, the total number of modules
This commit is contained in:
Robby Findler 2014-04-10 14:47:48 -05:00
parent ab38f64e5b
commit 28297c4d8f
1 changed files with 21 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
pkgs/drracket-pkgs/drracket/drracket/private/module-browser.rkt
View File

@ -814,23 +814,35 @@
(define ec (make-object canvas:basic% vp pasteboard))
(define search-hp (new horizontal-panel% [parent vp] [stretchable-height #f]))
(define search-tf
(new text-field%
[label (string-constant module-browser-highlight)]
[parent vp]
[parent search-hp]
[callback
(λ (tf evt)
(send pasteboard begin-edit-sequence)
(define val (send tf get-value))
(define reg (and (not (string=? val ""))
(regexp (regexp-quote (send tf get-value)))))
(let loop ([snip (send pasteboard find-first-snip)])
(when snip
(when (is-a? snip boxed-word-snip<%>)
(send snip set-found!
(and reg (regexp-match reg (path->string (send snip get-filename))))))
(loop (send snip next))))
(send pasteboard end-edit-sequence))]))
(update-found-and-search-hits reg))]))
(define search-hits (new message% [parent search-hp] [label ""] [auto-resize #t]))
(define (update-found-and-search-hits reg)
(send pasteboard begin-edit-sequence)
(define count 0)
(let loop ([snip (send pasteboard find-first-snip)])
(when snip
(when (is-a? snip boxed-word-snip<%>)
(define found?
(and reg (regexp-match reg (path->string (send snip get-filename)))))
(when (or (not reg) found?) (set! count (+ count 1)))
(send snip set-found! found?))
(loop (send snip next))))
(send search-hits set-label
(if reg
(format "~a found" count)
(format "~a total" count)))
(send pasteboard end-edit-sequence))
(update-found-and-search-hits #f) ;; only to initialize search-hits
(send lib-paths-checkbox set-value
(not (memq 'lib (preferences:get 'drracket:module-browser:hide-paths))))