2002/07/02 00:18:00
[org.ibex.core.git] / src / org / xwt / plat / AWT.java
index 6a55e92..4a79839 100644 (file)
@@ -25,6 +25,27 @@ public class AWT extends Platform {
     protected int _stringWidth(String font, String text) { return getFont(font).metrics.stringWidth(text); }
     protected int _getMaxAscent(String font) { return getFont(font).metrics.getMaxAscent(); }
     protected int _getMaxDescent(String font) { return getFont(font).metrics.getMaxDescent(); }
+    protected boolean _supressDirtyOnResize() { return true; }
+
+    protected void _criticalAbort(String message) {
+        if (Log.on) Log.log(this, message);
+        final Dialog d = new Dialog(new Frame(), "XWT Cannot Continue");
+        d.setLayout(new BorderLayout());
+        TextArea ta = new TextArea("XWT cannot continue because:\n\n" + message, 10, 80);
+        ta.setEditable(false);
+        d.add(ta, "Center");
+        Button b = new Button("OK");
+        b.addActionListener(new ActionListener() {
+                public void actionPerformed(ActionEvent e) {
+                    d.dispose();
+                }
+            });
+        d.add(b, "South");
+        d.setModal(true);
+        d.pack();
+        d.show();
+        new Semaphore().block();
+    }
 
     protected String _getClipBoard() {
         Clipboard cb = Toolkit.getDefaultToolkit().getSystemClipboard();
@@ -48,6 +69,42 @@ public class AWT extends Platform {
         return 0;
     }
 
+    static class FileDialogHelper extends FileDialog implements WindowListener, ComponentListener {
+        Semaphore s;
+        public FileDialogHelper(String suggestedFileName, Semaphore s, boolean write) {
+            super(new Frame(), write ? "Save" : "Open", write ? FileDialog.SAVE : FileDialog.LOAD);
+            this.s = s;
+            addWindowListener(this);
+            addComponentListener(this);
+            if (suggestedFileName.indexOf(File.separatorChar) == -1) {
+                setFile(suggestedFileName);
+            } else {
+                setDirectory(suggestedFileName.substring(0, suggestedFileName.lastIndexOf(File.separatorChar)));
+                setFile(suggestedFileName.substring(suggestedFileName.lastIndexOf(File.separatorChar) + 1));
+            }
+            show();
+        }
+        public void windowActivated(WindowEvent e) { }
+        public void windowClosed(WindowEvent e) { s.release(); }
+        public void windowClosing(WindowEvent e) { }
+        public void windowDeactivated(WindowEvent e) { }
+        public void windowDeiconified(WindowEvent e) { }
+        public void windowIconified(WindowEvent e) { }
+        public void windowOpened(WindowEvent e) { }
+        public void componentHidden(ComponentEvent e) { s.release(); }
+        public void componentMoved(ComponentEvent e) { }
+        public void componentResized(ComponentEvent e) { }
+        public void componentShown(ComponentEvent e) { }
+    };
+
+    protected String _fileDialog(String suggestedFileName, boolean write) {
+        final Semaphore s = new Semaphore();
+        FileDialogHelper fd = new FileDialogHelper(suggestedFileName, s, write);
+        s.block();
+        return fd.getDirectory() + File.separatorChar + fd.getFile();
+    }
+
+
     // Inner Classes /////////////////////////////////////////////////////////////////////////////////////
 
     protected static class AWTPicture implements Picture {
@@ -77,13 +134,16 @@ public class AWT extends Platform {
         
         /** JDK1.1 platforms require that a component be associated with each off-screen buffer */
         static Component component = null;
-        static {
-             component = new Frame();
-             component.setVisible(false);
-             component.addNotify();
-        }
 
+        protected AWTDoubleBuffer() { }
         public AWTDoubleBuffer(int w, int h) {
+            synchronized(AWTDoubleBuffer.class) {
+                if (component == null) {
+                    component = new Frame();
+                    component.setVisible(false);
+                    component.addNotify();
+                }
+            }
             i = component.createImage(w, h);
             g = i.getGraphics();
         }
@@ -154,22 +214,51 @@ public class AWT extends Platform {
             window.setLocation(new Point(0, 0));
             window.setSize(Toolkit.getDefaultToolkit().getScreenSize());
         }
-        
+
+        class InnerFrame extends Frame {
+            public InnerFrame() throws java.lang.UnsupportedOperationException { }
+            public void update(Graphics gr) { paint(gr); }
+            public void paint(Graphics gr) {
+                Rectangle r = gr.getClipBounds();
+
+                // ugly hack for Java1.4 dynamicLayout on Win32 -- this catches expansions during smooth resize
+                int newwidth = Math.max(r.x - insets.left + r.width, width);
+                int newheight = Math.max(r.y - insets.top + r.height, height);
+                if (newwidth > width || newheight > height)
+                    componentResized(window.getWidth() - insets.left - insets.right, window.getHeight() - insets.top - insets.bottom);
+
+                Dirty(r.x - insets.left, r.y - insets.top, r.width, r.height);
+
+                // this is safe because AWT's low-level drawing functions are threadsafe
+                blitDirtyScreenRegions();
+            }
+        }
+
+        class InnerWindow extends Window {
+            public InnerWindow() throws java.lang.UnsupportedOperationException { super(new Frame()); }
+            public void update(Graphics gr) { paint(gr); }
+            public void paint(Graphics gr) {
+                Rectangle r = gr.getClipBounds();
+                Dirty(r.x - insets.left, r.y - insets.top, r.width, r.height);
+
+                // this is safe because AWT's low-level drawing functions are threadsafe
+                blitDirtyScreenRegions();
+            }
+        }
+
         AWTSurface(Box root, boolean framed) {
             super(root);
-            
-            if (framed) window = frame = new Frame() {
-                    public void update(Graphics gr) { paint(gr); }
-                    public void paint(Graphics gr) {
-                        Rectangle r = gr.getClipBounds();
-                        Dirty(r.x - insets.left, r.y - insets.top, r.width, r.height);
-                    } };
-            else window = new Window(new Frame()) {
-                    public void update(Graphics gr) { paint(gr); }
-                    public void paint(Graphics gr) {
-                        Rectangle r = gr.getClipBounds();
-                        Dirty(r.x - insets.left, r.y - insets.top, r.width, r.height);
-                    } };
+            try {
+                if (framed) window = frame = new InnerFrame();
+                else window = new InnerWindow();
+
+            // this is here to catch HeadlessException on jdk1.4
+            } catch (java.lang.UnsupportedOperationException e) {
+                if (Log.on) Log.log(this, "Exception thrown in AWTSurface$InnerFrame() -- this should never happen");
+                if (Log.on) Log.log(this, e);
+            }
+
+            insets = window.getInsets();
             
             window.addMouseListener(this);
             window.addKeyListener(this);
@@ -181,7 +270,6 @@ public class AWT extends Platform {
             // that our peer has been created
             window.setVisible(true);
 
-            insets = window.getInsets();
         }
         
         public void _dispose() {
@@ -232,10 +320,22 @@ public class AWT extends Platform {
         public void windowActivated(WindowEvent e) { Focused(true); }
         public void windowDeactivated(WindowEvent e) { Focused(false); }
         public void componentMoved(ComponentEvent e) { PosChange(window.getLocation().x, window.getLocation().y); }
+
         public void componentResized(ComponentEvent e) {
             // we have to periodically do this; I don't know why
             insets = window.getInsets();
-            SizeChange(window.getWidth(), window.getHeight());
+            componentResized(window.getWidth() - insets.left - insets.right, window.getHeight() - insets.top - insets.bottom);
+        }
+
+        public void componentResized(int newwidth, int newheight) {
+            int oldwidth = width;
+            int oldheight = height;
+            SizeChange(newwidth, newheight);
+
+            // we do this because JVMs which don't clear the background won't force repaints of these areas
+            root.dirty(Math.min(oldwidth, newwidth), 0, Math.abs(oldwidth - newwidth), Math.max(oldheight, newheight));
+            root.dirty(0, Math.min(oldheight, newheight), Math.max(oldwidth, newwidth), Math.abs(oldheight - newheight));
+
             ourGraphics = null;
         }
         
@@ -245,7 +345,15 @@ public class AWT extends Platform {
         public void mouseExited(MouseEvent m) { mouseMoved(m); }
         public void mouseEntered(MouseEvent m) { mouseMoved(m); }
         public void mouseDragged(MouseEvent m) { mouseMoved(m); }
-        public void mouseMoved(MouseEvent m) { Move(m.getX() - insets.left, m.getY() - insets.top); }
+        public void mouseMoved(MouseEvent m) {
+
+            // ugly hack for Java1.4 dynamicLayout on Win32 -- this catches contractions during smooth resize
+            int newwidth = window.getWidth() - insets.left - insets.right;
+            int newheight = window.getHeight() - insets.top - insets.bottom;
+            if (newwidth != width || newheight != height) componentResized(newwidth, newheight);
+            
+            Move(m.getX() - insets.left, m.getY() - insets.top);
+        }
         public void mousePressed(MouseEvent m) { Press(modifiersToButtonNumber(m.getModifiers())); }
         public void mouseReleased(MouseEvent m) { Release(modifiersToButtonNumber(m.getModifiers())); }
         public void mouseClicked(MouseEvent m) {
@@ -287,35 +395,10 @@ public class AWT extends Platform {
             case KeyEvent.VK_SHIFT: return "shift";
             case KeyEvent.VK_TAB: return "tab";
             case KeyEvent.VK_UP: return "up";
-
-            // we special-case letters since (C-a).getKeyChar() != 'a'
-            case KeyEvent.VK_A: return "a";
-            case KeyEvent.VK_B: return "b";
-            case KeyEvent.VK_C: return "c";
-            case KeyEvent.VK_D: return "d";
-            case KeyEvent.VK_E: return "e";
-            case KeyEvent.VK_F: return "f";
-            case KeyEvent.VK_G: return "g";
-            case KeyEvent.VK_H: return "h";
-            case KeyEvent.VK_I: return "i";
-            case KeyEvent.VK_J: return "j";
-            case KeyEvent.VK_K: return "k";
-            case KeyEvent.VK_L: return "l";
-            case KeyEvent.VK_M: return "m";
-            case KeyEvent.VK_N: return "n";
-            case KeyEvent.VK_O: return "o";
-            case KeyEvent.VK_P: return "p";
-            case KeyEvent.VK_Q: return "q";
-            case KeyEvent.VK_R: return "r";
-            case KeyEvent.VK_S: return "s";
-            case KeyEvent.VK_T: return "t";
-            case KeyEvent.VK_U: return "u";
-            case KeyEvent.VK_V: return "v";
-            case KeyEvent.VK_W: return "w";
-            case KeyEvent.VK_X: return "x";
-            case KeyEvent.VK_Y: return "y";
-            case KeyEvent.VK_Z: return "z";
-            default: return String.valueOf(k.getKeyChar());
+            default:
+                char c = k.getKeyChar();
+                if (c >= 1 && c <= 26) c = (char)('a' + c - 1);
+                return String.valueOf(c);
             }
         }
     }