diff options
| author | krakjoe <joe.watkins@live.co.uk> | 2013-11-30 17:29:33 +0000 |
|---|---|---|
| committer | krakjoe <joe.watkins@live.co.uk> | 2013-11-30 17:29:33 +0000 |
| commit | 8a826dc07b0f6e4eb1e8402e24705517c0ac5788 (patch) | |
| tree | afd34ca0df719194cfc8e58e04811c894bf8ad73 /tutorials | |
| parent | 835446e63266d503a61848a3ed7d7ad48fb7ba86 (diff) | |
| download | php-git-8a826dc07b0f6e4eb1e8402e24705517c0ac5788.tar.gz | |
cs/ws
Diffstat (limited to 'tutorials')
| -rw-r--r-- | tutorials/java/dist/phpdbg-ui.jar | bin | 45489 -> 45427 bytes | |||
| -rw-r--r-- | tutorials/java/src/phpdbg/ui/JTerminalPane.java | 10 |
2 files changed, 2 insertions, 8 deletions
diff --git a/tutorials/java/dist/phpdbg-ui.jar b/tutorials/java/dist/phpdbg-ui.jar Binary files differindex 2252c545b9..7850d33756 100644 --- a/tutorials/java/dist/phpdbg-ui.jar +++ b/tutorials/java/dist/phpdbg-ui.jar 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)); |