-// Copyright 2002 Adam Megacz, see the COPYING file for licensing [GPL]
+// Copyright 2003 Adam Megacz, see the COPYING file for licensing [GPL]
package org.xwt.plat;
import org.xwt.*;
import org.xwt.util.*;
-import org.mozilla.javascript.*;
import java.net.*;
import java.io.*;
import java.util.*;
import java.awt.datatransfer.*;
import java.awt.image.*;
import java.awt.event.*;
-import java.applet.*;
/** Platform subclass for all VM's providing AWT 1.1 functionality */
-public class AWT extends Platform {
+public class AWT extends JVM {
protected String getDescriptiveName() { return "Generic JDK 1.1+ with AWT"; }
- protected DoubleBuffer _createDoubleBuffer(int w, int h, Surface owner) { return new AWTDoubleBuffer(w, h); }
+ protected PixelBuffer _createDoubleBuffer(int w, int h, Surface owner) { return new AWTDoubleBuffer(w, h); }
protected Picture _createPicture(int[] b, int w, int h) { return new AWTPicture(b, w, h); }
protected int _getScreenWidth() { return Toolkit.getDefaultToolkit().getScreenSize().width; }
protected int _getScreenHeight() { return Toolkit.getDefaultToolkit().getScreenSize().height; }
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 boolean _supressDirtyOnResize() { return false; }
protected void postInit() {
- if (Log.on) Log.log(Platform.class, " color depth = " +
- Toolkit.getDefaultToolkit().getColorModel().getPixelSize() + "bpp");
+ if (Log.on) Log.log(Platform.class, " color depth = " + Toolkit.getDefaultToolkit().getColorModel().getPixelSize() + "bpp");
}
protected void _criticalAbort(String message) {
int[] data = null;
public Image i = null;
- private static MediaTracker mediatracker = new MediaTracker(new Canvas());
private static ColorModel cmodel = new DirectColorModel(32, 0x00FF0000, 0x0000FF00, 0x000000FF, 0xFF000000);
public AWTPicture(int[] b, int w, int h) {
data = b;
Image img = Toolkit.getDefaultToolkit().createImage(new MemoryImageSource(w, h, cmodel, b, 0, w));
+ MediaTracker mediatracker = new MediaTracker(new Canvas());
mediatracker.addImage(img, 1);
try { mediatracker.waitForAll(); } catch (InterruptedException e) { }
mediatracker.removeImage(img);
}
}
- protected static class AWTDoubleBuffer extends DoubleBuffer {
+ protected static class AWTPixelBuffer extends DoubleBuffer {
protected Image i = null;
protected Graphics g = null;
/** JDK1.1 platforms require that a component be associated with each off-screen buffer */
static Component component = null;
- protected AWTDoubleBuffer() { }
- public AWTDoubleBuffer(int w, int h) {
- synchronized(AWTDoubleBuffer.class) {
+ protected AWTPixelBuffer() { }
+ public AWTPixelBuffer(int w, int h) {
+ synchronized(AWTPixelBuffer.class) {
if (component == null) {
component = new Frame();
component.setVisible(false);
protected static class AWTSurface extends Surface
implements MouseListener, MouseMotionListener, KeyListener, ComponentListener, WindowListener {
- public void blit(DoubleBuffer s, int sx, int sy, int dx, int dy, int dx2, int dy2) {
+ public void blit(PixelBuffer s, int sx, int sy, int dx, int dy, int dx2, int dy2) {
if (ourGraphics == null) ourGraphics = window.getGraphics();
- ourGraphics.drawImage(((AWTDoubleBuffer)s).i, dx + insets.left, dy + insets.top, dx2 + insets.left, dy2 + insets.top,
+ ourGraphics.drawImage(((AWTPixelBuffer)s).i, dx + insets.left, dy + insets.top, dx2 + insets.left, dy2 + insets.top,
sx, sy, sx + (dx2 - dx), sy + (dy2 - dy), null);
}
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)
+ int newwidth = Math.max(r.x - insets.left + r.width, root.width);
+ int newheight = Math.max(r.y - insets.top + r.height, root.height);
+ if (newwidth > root.width || newheight > root.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);
public void windowClosed(WindowEvent e) { }
public void windowClosing(WindowEvent e) { Close(); }
public void windowIconified(WindowEvent e) { Minimized(true); }
- public void windowDeiconified(WindowEvent e) { dirty(0, 0, width, height); Minimized(false); }
+ public void windowDeiconified(WindowEvent e) { dirty(0, 0, root.width, root.height); Minimized(false); }
public void windowActivated(WindowEvent e) { Focused(true); }
public void windowDeactivated(WindowEvent e) { Focused(false); }
public void componentMoved(ComponentEvent e) { PosChange(window.getLocation().x + insets.left, window.getLocation().y + insets.top); }
}
public void componentResized(int newwidth, int newheight) {
- int oldwidth = width;
- int oldheight = height;
+ int oldwidth = root.width;
+ int oldheight = root.height;
SizeChange(newwidth, newheight);
// we do this because JVMs which don't clear the background won't force repaints of these areas
// 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);
+ if (newwidth != root.width || newheight != root.height) componentResized(newwidth, newheight);
Move(m.getX() - insets.left, m.getY() - insets.top);
}
}
}
+ protected ImageDecoder _decodeJPEG(InputStream is, String name) {
+ try {
+ Image i = Toolkit.getDefaultToolkit().createImage(org.xwt.Resources.isToByteArray(is));
+ MediaTracker mediatracker = new MediaTracker(new Canvas());
+ mediatracker.addImage(i, 1);
+ try { mediatracker.waitForAll(); } catch (InterruptedException e) { }
+ mediatracker.removeImage(i);
+ final int width = i.getWidth(null);
+ final int height = i.getHeight(null);
+ final int[] data = new int[width * height];
+ PixelGrabber pg = new PixelGrabber(i, 0, 0, width, height, data, 0, width);
+ pg.grabPixels();
+ if ((pg.getStatus() & ImageObserver.ABORT) != 0) {
+ Log.log(this, "PixelGrabber reported an error while decoding JPEG image " + name);
+ return null;
+ }
+ return new ImageDecoder() {
+ public int getWidth() { return width; }
+ public int getHeight() { return height; }
+ public int[] getData() { return data; }
+ };
+ } catch (Exception e) {
+ Log.log(this, "Exception caught while decoding JPEG image " + name);
+ Log.log(this, e);
+ return null;
+ }
+ }
+
// Font Handling Stuff //////////////////////////////////////////////////////////
protected String[] _listFonts() { return fontList; }
private static String[] fontList;
static {
+ /*
String[] awtfonts = Toolkit.getDefaultToolkit().getFontList();
fontList = new String[awtfonts.length * 4];
for(int i=0; i<awtfonts.length; i++) {
fontList[i * 4 + 2] = awtfonts[i] + "*i";
fontList[i * 4 + 3] = awtfonts[i] + "*bi";
}
+ */
+ fontList = new String[] { };
}
private static Hash fontCache = new Hash();