checkin from browser
authorcg
Sat, 21 Aug 1999 11:35:42 +0000
changeset 595 045ea996d63a
parent 594 0d5fea9542d3
child 596 1649256b9b6d
checkin from browser
JavaVM.st
--- a/JavaVM.st	Sat Aug 21 10:53:35 1999 +0000
+++ b/JavaVM.st	Sat Aug 21 11:35:42 1999 +0000
@@ -2362,6 +2362,10 @@
         ].
     ].
 
+    view isJavaView ifTrue:[
+        view invalidate.
+    ].
+
     ^ nil
 
     "Created: / 4.1.1998 / 18:00:52 / cg"
@@ -11909,7 +11913,7 @@
     "/ peer via the handleEvent native method (unless the event got consumed).
     "/ This is req'd to let java keep track of keyboard/mouse input for widgets.
 
-false ifTrue:[
+(event isDamage and:[v isJavaView]) ifTrue:[
 "/    "/ most views handle their events themself (being ST/X views) ...
 "/
 "/    v class ~~ JavaView ifTrue:[
@@ -12046,6 +12050,6 @@
 !JavaVM class methodsFor:'documentation'!
 
 version
-    ^ '$Header: /home/jv/Projects/SmalltalkX/repositories/cvs/stx/libjava/JavaVM.st,v 1.157 1999/07/27 23:44:50 cg Exp $'
+    ^ '$Header: /home/jv/Projects/SmalltalkX/repositories/cvs/stx/libjava/JavaVM.st,v 1.158 1999/08/21 11:35:42 cg Exp $'
 ! !
 JavaVM initialize!