new PixelBuffer API (mainly tons of renames)

[org.ibex.core.git] / src / org / ibex / plat / Platform.java

diff --git a/src/org/ibex/plat/Platform.java b/src/org/ibex/plat/Platform.java
index cc9eff9..321a80d 100644 (file)
--- a/src/org/ibex/plat/Platform.java
+++ b/src/org/ibex/plat/Platform.java
@@ -51,7 +51,7 @@ public abstract class Platform {
             String os_name = System.getProperty("os.name", "");
             String os_version = System.getProperty("os.version", "");
             String platform_class = null;
-            
+
             if (vendor.startsWith("Free Software Foundation")) {
                 if (os_name.startsWith("Window")) platform_class = "Win32";
                 else if (os_name.startsWith("Linux")) platform_class = "Linux";
@@ -118,7 +118,7 @@ public abstract class Platform {
         ret.setInvisible(false);
         if (refreshable) {
             Surface.allSurfaces.addElement(ret);
-            ret.dirty(0, 0, b.width, b.height);
+            b.dirty();
             ret.Refresh();
         }
         try {