diff --git a/collects/games/cards/classes.ss b/collects/games/cards/classes.ss index 401c5be886..7500eefcee 100644 --- a/collects/games/cards/classes.ss +++ b/collects/games/cards/classes.ss @@ -40,6 +40,7 @@ [dragging? #f] [bg-click? #f] [click-base #f] + [last-click #f] [regions null]) (private [get-snip-bounds @@ -253,9 +254,17 @@ (override [on-default-event (lambda (e) - (let ([click (or (and (send e button-down? 'left) 'left) - (and (send e button-down? 'right) 'right) - (and (send e button-down? 'middle) 'middle))]) + (let ([click (let ([c (or (and (send e button-down? 'left) 'left) + (and (send e button-down? 'right) 'right) + (and (send e button-down? 'middle) 'middle))]) + (cond + [(eq? c last-click) c] + [(not last-click) c] + ;; Move/drag event has different mouse button, + ;; and there was no mouse up. Don't accept the + ;; click, yet. + [else #f]))]) + (set! last-click click) (when click (let* ([actions (cdr (assoc click button-map))] [one? (list-ref actions 0)] diff --git a/collects/games/checkers/checkers.ss b/collects/games/checkers/checkers.ss index 0b062c6c03..c17a04baa5 100644 --- a/collects/games/checkers/checkers.ss +++ b/collects/games/checkers/checkers.ss @@ -164,6 +164,7 @@ (get-piece-draw-fn p (send board enabled? p)))) (send board get-pieces)) (send board refresh))))) + (new grow-box-spacer-pane% [parent hp]) (send texture-box set-value #t) (define q diff --git a/collects/games/gobblet/gui.ss b/collects/games/gobblet/gui.ss index c7157004cf..060a26fb14 100644 --- a/collects/games/gobblet/gui.ss +++ b/collects/games/gobblet/gui.ss @@ -380,6 +380,8 @@ (send mode set-selection (if smart? 0 1)) (send d center) (send d show #t)))]) + + (new grow-box-spacer-pane% [parent bottom]) ;; Extra controls ---------------------------------------- diff --git a/collects/games/jewel/jewel.scm b/collects/games/jewel/jewel.scm index 0e83733851..fdb0f04222 100644 --- a/collects/games/jewel/jewel.scm +++ b/collects/games/jewel/jewel.scm @@ -1796,6 +1796,7 @@ (min-height 480) (stretchable-width #f) (stretchable-height #f) + (style '(no-resize-border)) ) )