fix drag-all-under mode in cards, and add some missing resize-box separators

svn: r5556

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)
+	   (let ([click (let ([c (or (and (send e button-down? 'left) 'left)
-			    (and (send e button-down? 'right) 'right)
+                                     (and (send e button-down? 'right) 'right)
-			    (and (send e button-down? 'middle) 'middle))])
+                                     (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)]

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

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 ----------------------------------------
       

collects/games/jewel/jewel.scm

@@ -1796,6 +1796,7 @@
                (min-height 480)
                (stretchable-width #f)
                (stretchable-height #f)
+               (style '(no-resize-border))
           )
   )