Reformatted source files to better match our coding style.

1 files changed, 23 insertions, 23 deletions

diff --git a/javax/swing/DebugGraphics.java b/javax/swing/DebugGraphics.java
index 074d45114..b65d38349 100644
--- a/javax/swing/DebugGraphics.java
+++ b/javax/swing/DebugGraphics.java
@@ -404,11 +404,11 @@ public class DebugGraphics extends Graphics
   {
     try
       {
-	Thread.sleep(milliseconds);
+        Thread.sleep(milliseconds);
       }
     catch (InterruptedException e)
       {
-	// Ignore this.
+        // Ignore this.
       }
   }
   
@@ -424,13 +424,13 @@ public class DebugGraphics extends Graphics
   {
     for (int index = 0; index < (debugFlashCount - 1); ++index)
       {
-	graphics.setColor(color);
-	graphics.drawRect(x, y, width, height);
-	sleep(debugFlashTime);
-	
-	graphics.setColor(debugFlashColor);
-	graphics.drawRect(x, y, width, height);
-	sleep(debugFlashTime);
+        graphics.setColor(color);
+        graphics.drawRect(x, y, width, height);
+        sleep(debugFlashTime);
+
+        graphics.setColor(debugFlashColor);
+        graphics.drawRect(x, y, width, height);
+        sleep(debugFlashTime);
       }
 
     graphics.setColor(color);
@@ -449,13 +449,13 @@ public class DebugGraphics extends Graphics
   {
     for (int index = 0; index < (debugFlashCount - 1); ++index)
       {
-	graphics.setColor(color);
-	graphics.fillRect(x, y, width, height);
-	sleep(debugFlashTime);
-	
-	graphics.setColor(debugFlashColor);
-	graphics.fillRect(x, y, width, height);
-	sleep(debugFlashTime);
+        graphics.setColor(color);
+        graphics.fillRect(x, y, width, height);
+        sleep(debugFlashTime);
+
+        graphics.setColor(debugFlashColor);
+        graphics.fillRect(x, y, width, height);
+        sleep(debugFlashTime);
       }
 
     graphics.setColor(color);
@@ -696,13 +696,13 @@ public class DebugGraphics extends Graphics
   {
     for (int index = 0; index < (debugFlashCount - 1); ++index)
       {
-	graphics.setColor(color);
-	graphics.drawChars(data, offset, length, x, y);
-	sleep(debugFlashTime);
-	
-	graphics.setColor(debugFlashColor);
-	graphics.drawChars(data, offset, length, x, y);
-	sleep(debugFlashTime);
+        graphics.setColor(color);
+        graphics.drawChars(data, offset, length, x, y);
+        sleep(debugFlashTime);
+
+        graphics.setColor(debugFlashColor);
+        graphics.drawChars(data, offset, length, x, y);
+        sleep(debugFlashTime);
       }
 
     graphics.setColor(color);