2003/12/30 21:59:52

[org.ibex.core.git] / src / org / xwt / Surface.java

diff --git a/src/org/xwt/Surface.java b/src/org/xwt/Surface.java
index 45221ba..35c1d89 100644 (file)
--- a/src/org/xwt/Surface.java
+++ b/src/org/xwt/Surface.java
@@ -143,7 +143,7 @@ public abstract class Surface extends PixelBuffer implements Scheduler.Task {
                 root.putAndTriggerTraps("_Move", T);
             } catch (JSExn e) {
                 Log.info(Surface.class, "Exception thrown from Move message handler");
-                Log.logJS(e);
+                JS.log(e);
             }
         if (!cursor.equals(oldcursor)) syncCursor();
     }
@@ -165,6 +165,7 @@ public abstract class Surface extends PixelBuffer implements Scheduler.Task {
         pendingWidth = width;
         pendingHeight = height;
         Refresh();
+        Scheduler.add(new Scheduler.Task() { public void perform() { }});
     }
 
     // FEATURE: can we avoid creating objects here?
@@ -297,17 +298,19 @@ public abstract class Surface extends PixelBuffer implements Scheduler.Task {
                 if (value.toLowerCase().equals("alt")) alt = true;           else if (alt) value = "A-" + value;
                 if (value.toLowerCase().endsWith("control")) control = true; else if (control) value = "C-" + value;
                 if (value.equals("C-v") || value.equals("A-v")) Platform.clipboardReadEnabled = true;
+                this.value = value;
             } else if (name.equals("_KeyReleased")) {
                 String value = (String)this.value;
                 if (value.toLowerCase().equals("alt")) alt = false;
                 else if (value.toLowerCase().equals("control")) control = false;
                 else if (value.toLowerCase().equals("shift")) shift = false;
+                this.value = value;
             }
             try {
                 boxContainingMouse.putAndTriggerTraps(name, value);
             } catch (JSExn e) {
                 Log.info(Surface.class, "Exception thrown from "+name+" handler");
-                Log.logJS(e);
+                JS.log(e);
             } finally {
                 Platform.clipboardReadEnabled = false;
             }