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

plugged a leak and fixed PR 8988

Browse Source 
svn: r7496

original commit: 36cbda30f4bad4445ce12fa430239a1d4eb668bf
This commit is contained in:
Robby Findler 2007-10-12 22:37:22 +00:00
parent 16ebbf15d4
commit e9c4302ef7
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/framework/private/frame.ss
View File

@ -707,7 +707,7 @@
(update-memory-text) (update-memory-text)
(set! memory-cleanup (set! memory-cleanup
(λ () (λ ()
(remq ec memory-canvases))) (set! memory-canvases (remq ec memory-canvases))))
(send panel stretchable-width #f))) (send panel stretchable-width #f)))
[define lock-canvas (make-object lock-canvas% (get-info-panel))] [define lock-canvas (make-object lock-canvas% (get-info-panel))]
@ -2228,6 +2228,7 @@
(hide-search))))) (hide-search)))))
(define/augment (on-close) (define/augment (on-close)
(remove-callback) (remove-callback)
(remove-sensitive-pref-callback)
(let ([close-canvas (let ([close-canvas
(λ (canvas edit) (λ (canvas edit)
(send canvas set-editor #f))]) (send canvas set-editor #f))])
@ -2358,6 +2359,7 @@
(send find-edit search #t beep?))) (send find-edit search #t beep?)))
(define sensitive-check-box #f) (define sensitive-check-box #f)
(define remove-sensitive-pref-callback void)
(define search-panel #f) (define search-panel #f)
(define search-gui-built? #f) (define search-gui-built? #f)
(define dir-radio #f) (define dir-radio #f)
@ -2440,6 +2442,10 @@
(string-constant find-case-sensitive) (string-constant find-case-sensitive)
middle-right-panel middle-right-panel
(λ (x y) (send find-edit toggle-case-sensitive)))) (λ (x y) (send find-edit toggle-case-sensitive))))
(set! remove-sensitive-pref-callback
(preferences:add-callback 'framework:case-sensitive-search?
(λ (k v)
(send sensitive-check-box set-value v))))
(send sensitive-check-box set-value (get-field case-sensitive? find-edit)))) (send sensitive-check-box set-value (get-field case-sensitive? find-edit))))