158159160161162163164165166167168
if (!initComplete) { return; } Transcation tx = comm.startTx(); tx.send("height", getHeight()); tx.send("width", getWidth()); tx.commit(); } public void terminalInput(TextConsole term, String input) {
159160161162163164165166167168169
return; } Transcation tx = comm.startTx(); tx.send("height", getHeight()); tx.send("width", getWidth()); tx.commit(); } public void terminalInput(TextConsole term, String input) { if (!initComplete) {
169170171172173174175176177178179
if (!initComplete) { return; } Transcation tx = comm.startTx(); tx.send("input", input); tx.commit(); } @Override protected void calculateColsFromWidth() {
184185186187188189190191192193194
return; } if (getCols() != oldCols) { Transcation tx = comm.startTx(); tx.send("cols", getCols()); tx.commit(); } } @Override
200201202203204205206207208209210
return; } if (getRows() != oldRows) { Transcation tx = comm.startTx(); tx.send("rows", getRows()); tx.commit(); } } @Override
232233234235236237238239240241242
return; } String input = getInput(); Transcation tx = comm.startTx(); tx.send("suggest", input); tx.commit(); } public void initClientWidget(Object[] params) { initComplete = true;