archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-19 17:04:47 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

...

Browse source
This commit is contained in:
krakjoe 2013-11-30 00:25:05 +00:00
parent af3d792c78
commit b6de073b00
3 changed files with 24 additions and 28 deletions
Download patch file Download diff file Expand all files Collapse all files

5
tutorials/java/src/phpdbg/ui/JTerminalPane.java
View file

@ -72,11 +72,10 @@ public class JTerminalPane extends JTextPane {
SimpleAttributeSet.EMPTY, StyleConstants.Foreground, c);
setCharacterAttributes(aset, false);
replaceSelection(s);
setCaretPosition(
(getDocument().getLength() > 0) ? (getDocument().getLength() - 1) : 0);
setCaretPosition(getDocument().getLength());
}
public void appendANSI(String s) {
public synchronized void appendANSI(String s) {
int aPos = 0;
int aIndex;
int mIndex;