2003/06/16 08:03:16
[org.ibex.core.git] / src / org / xwt / plat / AWT.java
index 43f2fba..7849cf7 100644 (file)
@@ -130,7 +130,7 @@ public class AWT extends Platform {
         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 mediatracker = new MediaTracker(new Canvas());
             mediatracker.addImage(img, 1);
             try { mediatracker.waitForAll(); } catch (InterruptedException e) { }
             mediatracker.removeImage(img);
@@ -410,31 +410,31 @@ public class AWT extends Platform {
     }
 
     protected ImageDecoder _decodeJPEG(InputStream is, String name) {
-       try {
-           Image i = Toolkit.getDefaultToolkit().createImage(org.xwt.Resources.isToByteArray(is));
-           MediaTracker mediatracker = new MediaTracker(new Canvas());
+        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;
-       }
+            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 //////////////////////////////////////////////////////////