1
0
mirror of https://github.com/php/php-src.git synced 2026-03-31 04:32:19 +02:00

update ui

echo checkbox
	move input to bottom like a normal console
This commit is contained in:
krakjoe
2013-11-29 13:20:26 +00:00
parent e1af08c4e7
commit 22fd520fb5
4 changed files with 110 additions and 96 deletions

View File

@@ -70,7 +70,12 @@ public class DebugSocket extends Socket implements Runnable {
command = main.getInputField().getText();
/* send command to stdin socket */
if (command != null) {
if (command != null) {
if (main.isEchoing()) {
main.getOutputField().appendANSI("remote> ");
main.getOutputField().appendANSI(command);
main.getOutputField().appendANSI("\n");
}
output.write(
command.getBytes());
output.write("\n".getBytes());