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

committed (hopefully) a workaround for a problem Matthias was seeing

Browse Source 
svn: r12932
This commit is contained in:
Robby Findler 2008-12-23 18:10:01 +00:00
parent c11196839b
commit c2593e3ff9
2 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/drscheme/private/unit.ss
View File

@ -3103,8 +3103,9 @@ module browser threading seems wrong.
[demand-callback [demand-callback
(λ (mi) (λ (mi)
(let ([target (get-edit-target-object)]) (let ([target (get-edit-target-object)])
(send mi enable (get-edit-target-object)) (send mi enable (is-a? target text%))
(send mi check (and target (send target get-overwrite-mode)))))] (when (is-a? target text%)
(send mi check (and target (send target get-overwrite-mode))))))]
[callback (λ (x y) [callback (λ (x y)
(let ([target (get-edit-target-object)]) (let ([target (get-edit-target-object)])
(send target set-overwrite-mode (send target set-overwrite-mode

5
collects/guibuilder/tool.ss
View File

@ -12,6 +12,8 @@
(provide tool@) (provide tool@)
(define-syntax (name stx) (syntax-case stx () [(_ x e) #'(let ((x e)) x)]))
(define tool@ (define tool@
(unit (unit
(import drscheme:tool^) (import drscheme:tool^)
@ -20,6 +22,7 @@
(define (phase2) (define (phase2)
(drscheme:get/extend:extend-unit-frame (drscheme:get/extend:extend-unit-frame
(lambda (drs:frame%) (lambda (drs:frame%)
(name guibuilder-frame%
(class drs:frame% (class drs:frame%
(inherit get-insert-menu get-edit-target-object) (inherit get-insert-menu get-edit-target-object)
@ -69,6 +72,6 @@
(send gb create-main-panel) (send gb create-main-panel)
(send gb set-caret-owner #f 'display)))))) (send gb set-caret-owner #f 'display))))))
(inherit register-capability-menu-item) (inherit register-capability-menu-item)
(register-capability-menu-item 'drscheme:special:insert-gui-tool (get-insert-menu)))))) (register-capability-menu-item 'drscheme:special:insert-gui-tool (get-insert-menu)))))))
(drscheme:language:register-capability 'drscheme:special:insert-gui-tool (flat-contract boolean?) #t)))) (drscheme:language:register-capability 'drscheme:special:insert-gui-tool (flat-contract boolean?) #t))))