Compare commits

...
3 Commits
Author SHA1 Message Date
Codex 1874d23716 Make terminal accessory bar paged
Gitea Smoke / smoke (push) Successful in 0s
Gitea Android Compile Check / build (push) Successful in 12m27s
2026-07-08 01:14:25 +00:00
Codex c4ec2fd2ef Refine terminal input panel
Gitea Android Compile Check / build (push) Failing after 0s
Gitea Smoke / smoke (push) Successful in 1s
2026-07-08 00:38:31 +00:00
Codex ced6523c00 Improve terminal composer controls
Gitea Smoke / smoke (push) Successful in 0s
Gitea Android Compile Check / build (push) Successful in 12m2s
2026-07-08 00:12:16 +00:00
2 changed files with 308 additions and 52 deletions
@@ -22,11 +22,13 @@ import android.provider.Settings;
import android.text.InputType;
import android.view.Gravity;
import android.view.HapticFeedbackConstants;
import android.view.KeyEvent;
import android.view.View;
import android.view.ViewGroup;
import android.view.WindowInsets;
import android.view.WindowManager;
import android.view.inputmethod.EditorInfo;
import android.view.inputmethod.InputMethodManager;
import android.widget.Button;
import android.widget.EditText;
import android.widget.HorizontalScrollView;
@@ -93,6 +95,7 @@ public final class MainActivity extends Activity {
private TextView terminalText;
private ScrollView terminalScroll;
private EditText inputField;
private View terminalComposerBar;
private String activeSessionName;
private String activeMainPage = PAGE_SESSIONS;
private String pendingImageUploadSession;
@@ -100,6 +103,9 @@ public final class MainActivity extends Activity {
private final StringBuilder queuedTerminalInput = new StringBuilder();
private boolean terminalConnected;
private boolean terminalRenderPending;
private boolean terminalSelectionEnabled;
private boolean terminalFollowOutput = true;
private int terminalKeyPage;
private long lastTerminalRenderMs;
private int terminalCols = DEFAULT_TERMINAL_COLS;
private int terminalRows = DEFAULT_TERMINAL_ROWS;
@@ -171,7 +177,7 @@ public final class MainActivity extends Activity {
view.setOnApplyWindowInsetsListener((target, insets) -> {
int bottom = insets.getSystemWindowInsetBottom();
if (Build.VERSION.SDK_INT >= Build.VERSION_CODES.R) {
bottom = Math.max(bottom, insets.getInsets(WindowInsets.Type.ime()).bottom);
bottom = insets.getInsets(WindowInsets.Type.systemBars()).bottom;
}
target.setPadding(
0,
@@ -969,6 +975,9 @@ public final class MainActivity extends Activity {
queuedTerminalInput.setLength(0);
terminalConnected = false;
terminalRenderPending = false;
terminalSelectionEnabled = false;
terminalFollowOutput = true;
terminalKeyPage = 0;
lastTerminalRenderMs = 0L;
terminalCols = DEFAULT_TERMINAL_COLS;
terminalRows = DEFAULT_TERMINAL_ROWS;
@@ -985,7 +994,7 @@ public final class MainActivity extends Activity {
terminalText.setIncludeFontPadding(false);
terminalText.setLineSpacing(0, 1.05f);
terminalText.setGravity(Gravity.BOTTOM | Gravity.START);
terminalText.setTextIsSelectable(false);
terminalText.setTextIsSelectable(terminalSelectionEnabled);
terminalText.setPadding(dp(10), dp(10), dp(10), dp(10));
terminalText.setBackgroundColor(Color.rgb(4, 7, 10));
terminalScroll.addView(terminalText, new ScrollView.LayoutParams(
@@ -994,24 +1003,31 @@ public final class MainActivity extends Activity {
));
terminalScroll.addOnLayoutChangeListener((view, left, top, right, bottom, oldLeft, oldTop, oldRight, oldBottom) ->
resizeTerminalToViewport(false));
terminalScroll.setOnScrollChangeListener((view, scrollX, scrollY, oldScrollX, oldScrollY) ->
terminalFollowOutput = !view.canScrollVertically(1));
root.addView(terminalScroll, new LinearLayout.LayoutParams(
ViewGroup.LayoutParams.MATCH_PARENT,
0,
1
));
root.addView(createInputBar(), matchWrap());
root.addView(createSoftKeyBar(), new LinearLayout.LayoutParams(
ViewGroup.LayoutParams.MATCH_PARENT,
dp(46)
));
root.addView(statusText, new LinearLayout.LayoutParams(
ViewGroup.LayoutParams.MATCH_PARENT,
dp(28)
));
terminalComposerBar = createComposerBar();
root.addView(terminalComposerBar, matchWrap());
root.addView(createAccessoryBar(), new LinearLayout.LayoutParams(
ViewGroup.LayoutParams.MATCH_PARENT,
dp(48)
));
terminalScroll.post(() -> {
resizeTerminalToViewport(false);
connectTerminal(sessionName);
});
inputField.post(() -> {
inputField.requestFocus();
hideKeyboard();
});
}
private LinearLayout createTerminalTopBar(String sessionName) {
@@ -1176,30 +1192,47 @@ public final class MainActivity extends Activity {
.show();
}
private LinearLayout createInputBar() {
private LinearLayout createComposerBar() {
LinearLayout bar = new LinearLayout(this);
bar.setOrientation(LinearLayout.HORIZONTAL);
bar.setGravity(Gravity.CENTER_VERTICAL);
bar.setPadding(dp(8), dp(5), dp(8), dp(5));
bar.setOrientation(LinearLayout.VERTICAL);
bar.setPadding(dp(8), dp(5), dp(8), dp(6));
bar.setBackgroundColor(Color.rgb(17, 20, 24));
LinearLayout row = new LinearLayout(this);
row.setOrientation(LinearLayout.HORIZONTAL);
row.setGravity(Gravity.BOTTOM);
inputField = new EditText(this);
inputField.setSingleLine(true);
inputField.setTextColor(Color.WHITE);
inputField.setHintTextColor(Color.rgb(150, 158, 168));
inputField.setHint("type command or text");
inputField.setImeOptions(EditorInfo.IME_ACTION_SEND);
inputField.setInputType(InputType.TYPE_CLASS_TEXT | InputType.TYPE_TEXT_FLAG_NO_SUGGESTIONS);
styleInput(inputField);
inputField.setHint("type, edit, paste");
inputField.setSingleLine(false);
inputField.setMinLines(1);
inputField.setMaxLines(3);
inputField.setCursorVisible(true);
inputField.setFocusableInTouchMode(true);
inputField.setGravity(Gravity.TOP | Gravity.START);
inputField.setImeOptions(EditorInfo.IME_ACTION_NONE);
inputField.setInputType(InputType.TYPE_CLASS_TEXT
| InputType.TYPE_TEXT_FLAG_MULTI_LINE
| InputType.TYPE_TEXT_FLAG_NO_SUGGESTIONS);
styleComposerInput(inputField);
inputField.setOnEditorActionListener((view, actionId, event) -> {
if (actionId == EditorInfo.IME_ACTION_SEND) {
if (event != null
&& event.getKeyCode() == KeyEvent.KEYCODE_ENTER
&& event.isShiftPressed()
&& event.getAction() == KeyEvent.ACTION_UP) {
sendLine();
return true;
}
return false;
});
bar.addView(inputField, new LinearLayout.LayoutParams(0, dp(42), 1));
bar.addView(toolbarButton("Send", view -> sendLine()));
row.addView(inputField, new LinearLayout.LayoutParams(0, ViewGroup.LayoutParams.WRAP_CONTENT, 1));
row.addView(toolbarButton("Send", view -> sendLine()), new LinearLayout.LayoutParams(
ViewGroup.LayoutParams.WRAP_CONTENT,
dp(48)
));
bar.addView(row, matchWrap());
return bar;
}
@@ -1720,7 +1753,7 @@ public final class MainActivity extends Activity {
return input;
}
private HorizontalScrollView createSoftKeyBar() {
private HorizontalScrollView createAccessoryBar() {
HorizontalScrollView scroller = new HorizontalScrollView(this);
scroller.setHorizontalScrollBarEnabled(false);
scroller.setBackgroundColor(Color.rgb(22, 27, 34));
@@ -1729,32 +1762,10 @@ public final class MainActivity extends Activity {
row.setOrientation(LinearLayout.HORIZONTAL);
row.setGravity(Gravity.CENTER_VERTICAL);
row.setPadding(dp(6), dp(4), dp(6), dp(4));
addSoftKey(row, "Enter", "\r");
addSoftKey(row, "Esc", "\u001b");
addSoftKey(row, "Tab", "\t");
addSoftKey(row, "^C", "\u0003");
addSoftKey(row, "^D", "\u0004");
addSoftKey(row, "^L", "\u000c");
addSoftKey(row, "^R", "\u0012");
addSoftKey(row, "^A", "\u0001");
addSoftKey(row, "^E", "\u0005");
addSoftKey(row, "^V", "\u0016");
addSoftKey(row, "^Z", "\u001a");
addSoftKey(row, "^\\", "\u001c");
addSoftKey(row, "Tmux", "\u0002");
addSoftKey(row, "Detach", "\u0002d");
addSoftKey(row, "NewWin", "\u0002c");
addSoftKey(row, "NextWin", "\u0002n");
addSoftKey(row, "PrevWin", "\u0002p");
addSoftKey(row, "Left", "\u001b[D");
addSoftKey(row, "Down", "\u001b[B");
addSoftKey(row, "Up", "\u001b[A");
addSoftKey(row, "Right", "\u001b[C");
addSoftKey(row, "PgUp", "\u001b[5~");
addSoftKey(row, "PgDn", "\u001b[6~");
addSoftKey(row, "Home", "\u001b[H");
addSoftKey(row, "End", "\u001b[F");
addSoftButton(row, "Paste", view -> pasteClipboard());
addAccessoryButton(row, "<", view -> setTerminalKeyPage(terminalKeyPage - 1));
addPageLabel(row);
addAccessoryPageKeys(row);
addAccessoryButton(row, ">", view -> setTerminalKeyPage(terminalKeyPage + 1));
scroller.addView(row, new HorizontalScrollView.LayoutParams(
ViewGroup.LayoutParams.WRAP_CONTENT,
ViewGroup.LayoutParams.MATCH_PARENT
@@ -1762,6 +1773,87 @@ public final class MainActivity extends Activity {
return scroller;
}
private void addPageLabel(LinearLayout row) {
TextView label = new TextView(this);
label.setText(accessoryPageName());
label.setTextColor(Color.rgb(139, 148, 158));
label.setTextSize(11);
label.setGravity(Gravity.CENTER);
label.setTypeface(Typeface.DEFAULT_BOLD);
row.addView(label, new LinearLayout.LayoutParams(dp(58), ViewGroup.LayoutParams.MATCH_PARENT));
}
private void addAccessoryPageKeys(LinearLayout row) {
switch (terminalKeyPage) {
case 1:
addSoftKey(row, "Esc", "\u001b");
addSoftKey(row, "Tab", "\t");
addSoftKey(row, "^C", "\u0003");
addSoftKey(row, "^D", "\u0004");
addSoftKey(row, "^L", "\u000c");
addSoftKey(row, "^R", "\u0012");
addSoftKey(row, "^A", "\u0001");
addSoftKey(row, "^E", "\u0005");
break;
case 2:
addSoftKey(row, "Left", "\u001b[D");
addSoftKey(row, "Right", "\u001b[C");
addSoftKey(row, "Up", "\u001b[A");
addSoftKey(row, "Down", "\u001b[B");
addSoftKey(row, "Home", "\u001b[H");
addSoftKey(row, "End", "\u001b[F");
addSoftKey(row, "PgUp", "\u001b[5~");
addSoftKey(row, "PgDn", "\u001b[6~");
addSoftKey(row, "Tmux", "\u0002");
addSoftKey(row, "Detach", "\u0002d");
addSoftKey(row, "New", "\u0002c");
addSoftKey(row, "Prev", "\u0002p");
addSoftKey(row, "Next", "\u0002n");
break;
case 3:
addTextKey(row, "/", "/");
addTextKey(row, "-", "-");
addTextKey(row, "_", "_");
addTextKey(row, ".", ".");
addTextKey(row, "~", "~");
addTextKey(row, "|", "|");
addTextKey(row, "&", "&");
addTextKey(row, ";", ";");
addTextKey(row, "$", "$");
addTextKey(row, "Space", " ");
break;
case 0:
default:
addComposerButton(row, "Left", () -> moveComposerCursor(-1));
addComposerButton(row, "Right", () -> moveComposerCursor(1));
addSoftKey(row, "Up", "\u001b[A");
addSoftKey(row, "Down", "\u001b[B");
addSoftKey(row, "Enter", "\r");
addAccessoryButton(row, "NL", view -> insertComposerText("\n"));
addSoftButton(row, "Paste", view -> pasteClipboard());
addAccessoryButton(row, "Back", view -> backspaceComposerText());
addAccessoryButton(row, "Kbd", view -> showKeyboard());
addAccessoryButton(row, "Hide", view -> hideKeyboard());
addAccessoryButton(row, "Bottom", view -> scrollTerminalBottom());
addAccessoryButton(row, "Select", view -> toggleTerminalSelection());
break;
}
}
private String accessoryPageName() {
switch (terminalKeyPage) {
case 1:
return "CTRL";
case 2:
return "NAV";
case 3:
return "SYM";
case 0:
default:
return "EDIT";
}
}
private void connectTerminal(String sessionName) {
closeTerminalSocket();
queuedTerminalInput.setLength(0);
@@ -1845,10 +1937,17 @@ public final class MainActivity extends Activity {
String text = inputField.getText().toString();
if (text.isEmpty()) {
sendTerminalInput("\r");
} else {
sendTerminalInput(text + "\r");
inputField.setText("");
return;
}
String normalized = text.replace("\r\n", "\n").replace('\r', '\n').replace('\n', '\r');
if (!normalized.endsWith("\r")) {
normalized = normalized + "\r";
}
terminalFollowOutput = true;
sendTerminalInput(normalized);
inputField.setText("");
hideKeyboard();
setStatus("Sent " + text.length() + " chars");
}
private void sendTerminalInput(String data) {
@@ -1906,6 +2005,98 @@ public final class MainActivity extends Activity {
}
}
private void insertComposerText(String text) {
if (inputField == null) {
return;
}
int start = Math.max(0, inputField.getSelectionStart());
int end = Math.max(0, inputField.getSelectionEnd());
inputField.getText().replace(Math.min(start, end), Math.max(start, end), text);
inputField.requestFocus();
}
private void moveComposerCursor(int delta) {
if (inputField == null) {
return;
}
int current = Math.max(0, inputField.getSelectionEnd());
int next = clamp(current + delta, 0, inputField.getText().length());
inputField.setSelection(next);
inputField.requestFocus();
}
private void backspaceComposerText() {
if (inputField == null) {
return;
}
int start = Math.max(0, inputField.getSelectionStart());
int end = Math.max(0, inputField.getSelectionEnd());
int from = Math.min(start, end);
int to = Math.max(start, end);
if (from != to) {
inputField.getText().delete(from, to);
} else if (from > 0) {
inputField.getText().delete(from - 1, from);
}
inputField.requestFocus();
}
private void showKeyboard() {
if (inputField == null) {
return;
}
inputField.requestFocus();
InputMethodManager manager = (InputMethodManager) getSystemService(Context.INPUT_METHOD_SERVICE);
if (manager != null) {
manager.showSoftInput(inputField, InputMethodManager.SHOW_IMPLICIT);
}
}
private void hideKeyboard() {
if (inputField == null) {
return;
}
InputMethodManager manager = (InputMethodManager) getSystemService(Context.INPUT_METHOD_SERVICE);
if (manager != null) {
manager.hideSoftInputFromWindow(inputField.getWindowToken(), 0);
}
}
private void toggleTerminalSelection() {
terminalSelectionEnabled = !terminalSelectionEnabled;
if (terminalText != null) {
terminalText.setTextIsSelectable(terminalSelectionEnabled);
}
setStatus(terminalSelectionEnabled ? "Terminal selection on" : "Terminal selection off");
}
private void scrollTerminalBottom() {
terminalFollowOutput = true;
if (terminalScroll != null) {
terminalScroll.post(() -> terminalScroll.fullScroll(View.FOCUS_DOWN));
}
setStatus("Following terminal output");
}
private void setTerminalKeyPage(int page) {
terminalKeyPage = (page + 4) % 4;
if (activeSessionName != null) {
renderTerminalControlsOnly();
}
}
private void renderTerminalControlsOnly() {
int composerIndex = terminalComposerBar == null ? -1 : root.indexOfChild(terminalComposerBar);
if (composerIndex < 0 || composerIndex + 1 >= root.getChildCount()) {
return;
}
root.removeViewAt(composerIndex + 1);
root.addView(createAccessoryBar(), composerIndex + 1, new LinearLayout.LayoutParams(
ViewGroup.LayoutParams.MATCH_PARENT,
dp(48)
));
}
private void appendTerminal(String data) {
terminalScreen.write(data);
scheduleTerminalRender();
@@ -1930,7 +2121,9 @@ public final class MainActivity extends Activity {
}
lastTerminalRenderMs = System.currentTimeMillis();
terminalText.setText(terminalScreen.render());
terminalScroll.post(() -> terminalScroll.fullScroll(View.FOCUS_DOWN));
if (terminalFollowOutput) {
terminalScroll.post(() -> terminalScroll.fullScroll(View.FOCUS_DOWN));
}
}
private void saveServerAndRefresh() {
@@ -2039,6 +2232,23 @@ public final class MainActivity extends Activity {
input.setBackground(rounded(Color.rgb(12, 17, 23), 8, Color.rgb(48, 58, 70), 1));
}
private void styleComposerInput(EditText input) {
input.setTextColor(Color.rgb(240, 246, 252));
input.setHintTextColor(Color.rgb(139, 148, 158));
input.setTextSize(14);
input.setPadding(dp(10), dp(8), dp(10), dp(8));
input.setBackground(rounded(Color.rgb(12, 17, 23), 8, Color.rgb(48, 58, 70), 1));
}
private Button compactButton(String label, View.OnClickListener listener) {
Button button = toolbarButton(label, listener);
button.setTextSize(11);
button.setPadding(dp(8), 0, dp(8), 0);
button.setMinWidth(dp(48));
button.setMinimumWidth(dp(48));
return button;
}
private StateListDrawable buttonBackground() {
StateListDrawable states = new StateListDrawable();
states.addState(new int[]{-android.R.attr.state_enabled}, rounded(Color.rgb(24, 30, 37), 8, Color.rgb(35, 42, 50), 1));
@@ -2062,10 +2272,24 @@ public final class MainActivity extends Activity {
addSoftButton(row, label, view -> sendTerminalInput(sequence));
}
private void addTextKey(LinearLayout row, String label, String text) {
addSoftButton(row, label, view -> insertComposerText(text));
}
private void addAccessoryButton(LinearLayout row, String label, View.OnClickListener listener) {
addSoftButton(row, label, listener);
}
private void addComposerButton(LinearLayout row, String label, Runnable action) {
addSoftButton(row, label, view -> action.run());
}
private void addSoftButton(LinearLayout row, String label, View.OnClickListener listener) {
Button button = toolbarButton(label, listener);
button.setMinWidth(dp(50));
button.setMinimumWidth(dp(50));
button.setTextSize(11);
button.setPadding(dp(8), 0, dp(8), 0);
button.setMinWidth(dp("Space".equals(label) ? 72 : 50));
button.setMinimumWidth(dp("Space".equals(label) ? 72 : 50));
row.addView(button, new LinearLayout.LayoutParams(
ViewGroup.LayoutParams.WRAP_CONTENT,
ViewGroup.LayoutParams.MATCH_PARENT
@@ -109,6 +109,8 @@ final class TerminalScreenBuffer {
putChar(' ');
}
index++;
} else if (isNakedDeviceAttributesTail(text, index)) {
index = skipNakedDeviceAttributesTail(text, index);
} else if (item >= 0x20 && item != 0x7f) {
putChar(item);
index++;
@@ -495,6 +497,36 @@ final class TerminalScreenBuffer {
return -1;
}
private boolean isNakedDeviceAttributesTail(String text, int index) {
int cursor = index;
boolean hasSemicolon = false;
if (cursor < text.length() && (text.charAt(cursor) == '?' || text.charAt(cursor) == '>')) {
cursor++;
}
while (cursor < text.length()) {
char item = text.charAt(cursor);
if (item >= '0' && item <= '9') {
cursor++;
continue;
}
if (item == ';') {
hasSemicolon = true;
cursor++;
continue;
}
return item == 'c' && hasSemicolon && cursor > index && cursor - index <= 16;
}
return false;
}
private int skipNakedDeviceAttributesTail(String text, int index) {
int cursor = index;
while (cursor < text.length() && text.charAt(cursor) != 'c') {
cursor++;
}
return Math.min(cursor + 1, text.length());
}
private int findAnsiEnd(String text, int start) {
for (int index = start; index < text.length(); index++) {
char item = text.charAt(index);