157158159160161162163164165166
private void sendSizeToServer() { if (!initComplete) { return; } Transcation tx = comm.startTx(); tx.send("height", getHeight()); tx.send("width", getWidth()); tx.commit(); }
168169170171172173174175176
public void terminalInput(TextConsole term, String input) { if (!initComplete) { return; } Transcation tx = comm.startTx(); tx.send("input", input); tx.commit(); }
183184185186187188189190191192
if (!initComplete) { return; } if (getCols() != oldCols) { Transcation tx = comm.startTx(); tx.send("cols", getCols()); tx.commit(); } }
199200201202203204205206207208
if (!initComplete) { return; } if (getRows() != oldRows) { Transcation tx = comm.startTx(); tx.send("rows", getRows()); tx.commit(); } }
231232233234235236237238239
if (!initComplete) { return; } String input = getInput(); Transcation tx = comm.startTx(); tx.send("suggest", input); tx.commit(); }