fixed minor GUI issues

svn: r433
This commit is contained in:
Matthew Flatt 2005-07-22 18:43:09 +00:00
parent 5bbfeb7c98
commit e8dcb756b5

View File

@ -129,10 +129,11 @@
(end-edit-sequence)) (end-edit-sequence))
(define/private (clean-up) (define/private (clean-up)
(set! debug? #f) (when debug?
(when parent (set! debug? #f)
(send parent hide-debug)) (when parent
(invalidate-bitmap-cache)) (send parent hide-debug))
(invalidate-bitmap-cache)))
(define/private (get-pos/text event) (define/private (get-pos/text event)
(let ([event-x (send event get-x)] (let ([event-x (send event get-x)]
@ -182,7 +183,8 @@
[(send event leaving?) [(send event leaving?)
(when mouse-over-pos (when mouse-over-pos
(set! mouse-over-pos #f) (set! mouse-over-pos #f)
(invalidate-bitmap-cache))] (invalidate-bitmap-cache))
(super on-event event)]
[(or (send event moving?) [(or (send event moving?)
(send event entering?)) (send event entering?))
(let-values ([(pos text) (get-pos/text event)]) (let-values ([(pos text) (get-pos/text event)])
@ -229,8 +231,8 @@
[val (mark-binding-value [val (mark-binding-value
binding)]) binding)])
(truncate (format "~a = ~a" id-sym val) 200))))] (truncate (format "~a = ~a" id-sym val) 200))))]
[""]))) [""]))))))
(super on-event event))))] (super on-event event)]
[(send event button-down? 'right) [(send event button-down? 'right)
(let-values ([(pos text) (get-pos/text event)]) (let-values ([(pos text) (get-pos/text event)])
(if (and pos text) (if (and pos text)
@ -730,7 +732,6 @@
(lambda (_) (lambda (_)
(cons debug-button (cons debug-button
(remq debug-button _)))))) (remq debug-button _))))))
(drscheme:get/extend:extend-definitions-text debug-definitions-text-mixin) (drscheme:get/extend:extend-definitions-text debug-definitions-text-mixin)
(drscheme:get/extend:extend-interactions-text debug-interactions-text-mixin) (drscheme:get/extend:extend-interactions-text debug-interactions-text-mixin)
(drscheme:get/extend:extend-unit-frame debug-unit-frame-mixin)))) (drscheme:get/extend:extend-unit-frame debug-unit-frame-mixin))))