From: krakjoe <joe.watkins@live.co.uk>
Date: Sat, 30 Nov 2013 17:29:33 +0000 (+0000)
Subject: cs/ws
X-Git-Tag: php-5.6.0alpha1~110^2~30^2~21
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=8a826dc07b0f6e4eb1e8402e24705517c0ac5788;p=php

cs/ws
---

diff --git a/tutorials/java/dist/phpdbg-ui.jar b/tutorials/java/dist/phpdbg-ui.jar
index 2252c545b9..7850d33756 100644
Binary files a/tutorials/java/dist/phpdbg-ui.jar and b/tutorials/java/dist/phpdbg-ui.jar differ
diff --git a/tutorials/java/src/phpdbg/ui/JTerminalPane.java b/tutorials/java/src/phpdbg/ui/JTerminalPane.java
index 6f79eb0f89..a08be440d3 100644
--- a/tutorials/java/src/phpdbg/ui/JTerminalPane.java
+++ b/tutorials/java/src/phpdbg/ui/JTerminalPane.java
@@ -32,15 +32,11 @@ public class JTerminalPane extends JTextPane {
         }
         
         public JTerminalColor(Float h, Float s, Float b, Boolean bold) {
-            this.color = Color.getHSBColor(h, s, b);
-            this.bold = bold;
-            this.underline = false;
+            this(h, s, b, bold, false);
         }
         
         public JTerminalColor(Float h, Float s, Float b) {
-            this.color = Color.getHSBColor(h, s, b);
-            this.underline = false;
-            this.bold = false;
+            this(h, s, b, false, false);
         }
 
         public Boolean      isUnderlined()  { return this.underline; }
@@ -59,7 +55,6 @@ public class JTerminalPane extends JTextPane {
             put("\u001B[0;36m", new JTerminalColor(0.500f, 1.000f, 1.000f));
             put("\u001B[0;37m", new JTerminalColor(0.000f, 0.000f, 1.000f));
             put("\u001B[0;64m", new JTerminalColor(0.000f, 0.000f, 1.000f));
-            
             put("\u001B[1;30m", new JTerminalColor(0.000f, 0.000f, 0.502f, true));
             put("\u001B[1;31m", new JTerminalColor(0.000f, 1.000f, 1.000f, true));
             put("\u001B[1;32m", new JTerminalColor(0.333f, 1.000f, 1.000f, true));
@@ -69,7 +64,6 @@ public class JTerminalPane extends JTextPane {
             put("\u001B[1;36m", new JTerminalColor(0.500f, 1.000f, 1.000f, true));
             put("\u001B[1;37m", new JTerminalColor(0.000f, 0.000f, 1.000f, true));
             put("\u001B[1;64m", new JTerminalColor(0.000f, 0.000f, 1.000f, true));
-            
             put("\u001B[4;30m", new JTerminalColor(0.000f, 0.000f, 0.502f, false, true));
             put("\u001B[4;31m", new JTerminalColor(0.000f, 1.000f, 1.000f, false, true));
             put("\u001B[4;32m", new JTerminalColor(0.333f, 1.000f, 1.000f, false, true));