Compare commits

...
4 Commits
Author SHA1 Message Date
Codex f6e801defc Rearrange terminal composer controls
Gitea Smoke / smoke (push) Successful in 0s
Gitea Android APK / build (push) Successful in 12m15s
2026-07-11 03:12:52 +00:00
Codex 90f2088265 Support mixed Gitea runners
Gitea Smoke / smoke (push) Successful in 0s
Gitea Android APK / build (push) Failing after 8m12s
2026-07-10 16:18:55 +00:00
Codex 0d0f218d52 Compact terminal input controls
Gitea Android APK / build (push) Failing after 0s
Gitea Smoke / smoke (push) Successful in 0s
2026-07-10 15:54:51 +00:00
Codex 01f2c66f48 Refine terminal input controls
Gitea Smoke / smoke (push) Successful in 0s
Gitea Android APK / build (push) Failing after 8m32s
2026-07-10 15:11:12 +00:00
2 changed files with 224 additions and 93 deletions
+22 -4
View File
@@ -16,13 +16,31 @@ jobs:
run: | run: |
set -eu set -eu
if ! command -v git >/dev/null 2>&1 || ! command -v curl >/dev/null 2>&1 || ! command -v unzip >/dev/null 2>&1; then install_packages() {
if command -v apt-get >/dev/null 2>&1; then
apt-get update apt-get update
apt-get install -y git curl unzip apt-get install -y "$@"
elif command -v apk >/dev/null 2>&1; then
apk add --no-cache "$@"
elif command -v dnf >/dev/null 2>&1; then
dnf install -y "$@"
else
echo "No supported package manager found." >&2
exit 1
fi
}
if ! command -v git >/dev/null 2>&1 || ! command -v curl >/dev/null 2>&1 || ! command -v unzip >/dev/null 2>&1; then
install_packages git curl unzip
fi fi
if ! command -v java >/dev/null 2>&1; then if ! command -v java >/dev/null 2>&1; then
apt-get update if command -v apk >/dev/null 2>&1; then
apt-get install -y openjdk-17-jdk-headless install_packages openjdk17-jdk
elif command -v dnf >/dev/null 2>&1; then
install_packages java-17-openjdk-devel
else
install_packages openjdk-17-jdk-headless
fi
fi fi
java -version java -version
@@ -66,7 +66,7 @@ public final class MainActivity extends Activity {
private static final int MAX_TERMINAL_COLS = 140; private static final int MAX_TERMINAL_COLS = 140;
private static final int MIN_TERMINAL_ROWS = 8; private static final int MIN_TERMINAL_ROWS = 8;
private static final int MAX_TERMINAL_ROWS = 80; private static final int MAX_TERMINAL_ROWS = 80;
private static final int TERMINAL_KEYS_HEIGHT_DP = 44; private static final int TERMINAL_KEYS_HEIGHT_DP = 34;
private static final int STATUS_NORMAL = 0; private static final int STATUS_NORMAL = 0;
private static final int STATUS_BUSY = 1; private static final int STATUS_BUSY = 1;
private static final int STATUS_SUCCESS = 2; private static final int STATUS_SUCCESS = 2;
@@ -126,7 +126,8 @@ public final class MainActivity extends Activity {
private TextView terminalMetaText; private TextView terminalMetaText;
private ScrollView terminalScroll; private ScrollView terminalScroll;
private EditText inputField; private EditText inputField;
private Button terminalKeyPageButton; private final Button[] terminalAccessoryTabButtons = new Button[4];
private View terminalAccessoryBar;
private View terminalComposerBar; private View terminalComposerBar;
private LinearLayout terminalGroupRow; private LinearLayout terminalGroupRow;
private String activeSessionName; private String activeSessionName;
@@ -1634,12 +1635,13 @@ public final class MainActivity extends Activity {
0, 0,
1 1
)); ));
terminalComposerBar = createComposerBar(); terminalAccessoryBar = createAccessoryBar();
root.addView(terminalComposerBar, matchWrap()); root.addView(terminalAccessoryBar, new LinearLayout.LayoutParams(
root.addView(createAccessoryBar(), new LinearLayout.LayoutParams(
ViewGroup.LayoutParams.MATCH_PARENT, ViewGroup.LayoutParams.MATCH_PARENT,
dp(TERMINAL_KEYS_HEIGHT_DP) dp(TERMINAL_KEYS_HEIGHT_DP)
)); ));
terminalComposerBar = createComposerBar();
root.addView(terminalComposerBar, matchWrap());
terminalScroll.post(() -> { terminalScroll.post(() -> {
resizeTerminalToViewport(false); resizeTerminalToViewport(false);
connectTerminal(sessionName); connectTerminal(sessionName);
@@ -2061,20 +2063,45 @@ public final class MainActivity extends Activity {
private LinearLayout createComposerBar() { private LinearLayout createComposerBar() {
LinearLayout bar = new LinearLayout(this); LinearLayout bar = new LinearLayout(this);
bar.setOrientation(LinearLayout.VERTICAL); bar.setOrientation(LinearLayout.VERTICAL);
bar.setPadding(dp(9), dp(7), dp(9), dp(8)); bar.setPadding(dp(8), dp(5), dp(8), dp(7));
bar.setBackgroundColor(COLOR_BAR); bar.setBackgroundColor(COLOR_BAR);
LinearLayout row = new LinearLayout(this); LinearLayout row = new LinearLayout(this);
row.setOrientation(LinearLayout.HORIZONTAL); row.setOrientation(LinearLayout.HORIZONTAL);
row.setGravity(Gravity.BOTTOM); row.setGravity(Gravity.CENTER_VERTICAL);
LinearLayout tabGrid = new LinearLayout(this);
tabGrid.setOrientation(LinearLayout.VERTICAL);
LinearLayout firstTabRow = terminalKeyRow();
LinearLayout secondTabRow = terminalKeyRow();
addAccessoryTab(firstTabRow, "Edit", 0);
addAccessoryTab(firstTabRow, "Ctrl", 1);
addAccessoryTab(secondTabRow, "Nav", 2);
addAccessoryTab(secondTabRow, "Sym", 3);
tabGrid.addView(firstTabRow, new LinearLayout.LayoutParams(
ViewGroup.LayoutParams.MATCH_PARENT,
0,
1
));
LinearLayout.LayoutParams secondTabParams = new LinearLayout.LayoutParams(
ViewGroup.LayoutParams.MATCH_PARENT,
0,
1
);
secondTabParams.topMargin = dp(3);
tabGrid.addView(secondTabRow, secondTabParams);
row.addView(tabGrid, new LinearLayout.LayoutParams(
dp(72),
ViewGroup.LayoutParams.MATCH_PARENT
));
inputField = new EditText(this); inputField = new EditText(this);
inputField.setTextColor(COLOR_TEXT); inputField.setTextColor(COLOR_TEXT);
inputField.setHintTextColor(COLOR_TEXT_DIM); inputField.setHintTextColor(COLOR_TEXT_DIM);
inputField.setHint("type a command"); inputField.setHint("type command or text");
inputField.setSingleLine(false); inputField.setSingleLine(false);
inputField.setMinLines(1); inputField.setMinLines(3);
inputField.setMaxLines(2); inputField.setMaxLines(5);
inputField.setCursorVisible(true); inputField.setCursorVisible(true);
inputField.setFocusableInTouchMode(true); inputField.setFocusableInTouchMode(true);
inputField.setGravity(Gravity.TOP | Gravity.START); inputField.setGravity(Gravity.TOP | Gravity.START);
@@ -2099,21 +2126,37 @@ public final class MainActivity extends Activity {
} }
return false; return false;
}); });
Button image = terminalToolButton("", view -> pickImageForSession(activeSessionName));
image.setContentDescription("Upload image");
row.addView(image, new LinearLayout.LayoutParams(dp(40), dp(40)));
LinearLayout.LayoutParams inputParams = new LinearLayout.LayoutParams( LinearLayout.LayoutParams inputParams = new LinearLayout.LayoutParams(
0, 0,
ViewGroup.LayoutParams.WRAP_CONTENT, ViewGroup.LayoutParams.WRAP_CONTENT,
1 1
); );
inputParams.leftMargin = dp(6); inputParams.leftMargin = dp(5);
inputParams.rightMargin = dp(6); inputParams.rightMargin = dp(5);
row.addView(inputField, inputParams); row.addView(inputField, inputParams);
Button send = primaryButton("", view -> sendLine());
send.setTextSize(18); LinearLayout actions = new LinearLayout(this);
actions.setOrientation(LinearLayout.VERTICAL);
Button send = composerPrimaryButton("Send", view -> sendLine());
send.setContentDescription("Send input"); send.setContentDescription("Send input");
row.addView(send, new LinearLayout.LayoutParams(dp(40), dp(40))); actions.addView(send, new LinearLayout.LayoutParams(
ViewGroup.LayoutParams.MATCH_PARENT,
0,
1
));
Button image = composerButton("Img", view -> pickImageForSession(activeSessionName));
image.setContentDescription("Upload image");
LinearLayout.LayoutParams imageParams = new LinearLayout.LayoutParams(
ViewGroup.LayoutParams.MATCH_PARENT,
0,
1
);
imageParams.topMargin = dp(3);
actions.addView(image, imageParams);
row.addView(actions, new LinearLayout.LayoutParams(
dp(48),
ViewGroup.LayoutParams.MATCH_PARENT
));
bar.addView(row, matchWrap()); bar.addView(row, matchWrap());
return bar; return bar;
} }
@@ -2676,19 +2719,26 @@ public final class MainActivity extends Activity {
return input; return input;
} }
private HorizontalScrollView createAccessoryBar() { private LinearLayout createAccessoryBar() {
HorizontalScrollView scroller = new HorizontalScrollView(this); LinearLayout panel = new LinearLayout(this);
scroller.setHorizontalScrollBarEnabled(false); panel.setOrientation(LinearLayout.VERTICAL);
scroller.setBackgroundColor(COLOR_PANEL); panel.setPadding(dp(6), dp(3), dp(6), dp(3));
panel.setBackgroundColor(COLOR_PANEL);
LinearLayout row = terminalKeyRow(); HorizontalScrollView keyScroller = new HorizontalScrollView(this);
row.setPadding(dp(8), dp(5), dp(8), dp(5)); keyScroller.setHorizontalScrollBarEnabled(false);
addAccessoryPageKeys(row); keyScroller.setFillViewport(true);
scroller.addView(row, new HorizontalScrollView.LayoutParams( LinearLayout keyRow = terminalKeyRow();
addAccessoryPageKeys(keyRow);
keyScroller.addView(keyRow, new HorizontalScrollView.LayoutParams(
ViewGroup.LayoutParams.WRAP_CONTENT, ViewGroup.LayoutParams.WRAP_CONTENT,
ViewGroup.LayoutParams.MATCH_PARENT ViewGroup.LayoutParams.MATCH_PARENT
)); ));
return scroller; panel.addView(keyScroller, new LinearLayout.LayoutParams(
ViewGroup.LayoutParams.MATCH_PARENT,
ViewGroup.LayoutParams.MATCH_PARENT
));
return panel;
} }
private LinearLayout terminalKeyRow() { private LinearLayout terminalKeyRow() {
@@ -2699,35 +2749,70 @@ public final class MainActivity extends Activity {
} }
private void addAccessoryPageKeys(LinearLayout row) { private void addAccessoryPageKeys(LinearLayout row) {
addAccessoryButton(row, "ctrl", view -> sendTerminalInput("\u0002")); switch (terminalKeyPage) {
addSoftKey(row, "esc", "\u001b"); case 1:
addSoftKey(row, "tab", "\t"); addSoftKey(row, "Esc", "\u001b");
addTextKey(row, "~", "~"); addSoftKey(row, "Tab", "\t");
addTextKey(row, "/", "/");
addTextKey(row, "-", "-");
addTextKey(row, "|", "|");
addSoftKey(row, "C-c", "\u0003"); addSoftKey(row, "C-c", "\u0003");
addSoftKey(row, "C-d", "\u0004"); addSoftKey(row, "C-d", "\u0004");
addSoftKey(row, "C-z", "\u001a"); addSoftKey(row, "C-z", "\u001a");
addSoftKey(row, "C-l", "\u000c"); addSoftKey(row, "C-l", "\u000c");
addSoftKey(row, "C-r", "\u0012");
addSoftKey(row, "C-a", "\u0001");
addSoftKey(row, "C-e", "\u0005");
addSoftKey(row, "C-u", "\u0015");
addSoftKey(row, "C-k", "\u000b");
addSoftKey(row, "C-b", "\u0002");
break;
case 2:
addSoftKey(row, "", "\u001b[D");
addSoftKey(row, "", "\u001b[C");
addSoftKey(row, "", "\u001b[A");
addSoftKey(row, "", "\u001b[B");
addSoftKey(row, "Home", "\u001b[H");
addSoftKey(row, "End", "\u001b[F");
addSoftKey(row, "Pg↑", "\u001b[5~");
addSoftKey(row, "Pg↓", "\u001b[6~");
addComposerButton(row, "Prev", () -> setTerminalKeyPage(terminalKeyPage - 1));
addComposerButton(row, "Next", () -> setTerminalKeyPage(terminalKeyPage + 1));
addSoftKey(row, "Clear", "\u000c");
addSoftKey(row, "Detach", "\u0002d");
break;
case 3:
addTextKey(row, "~", "~");
addTextKey(row, "/", "/");
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, "", () -> moveComposerCursor(-1)); addComposerButton(row, "", () -> moveComposerCursor(-1));
addComposerButton(row, "", () -> moveComposerCursor(1)); addComposerButton(row, "", () -> moveComposerCursor(1));
addSoftKey(row, "", "\u001b[A"); addSoftKey(row, "", "\u001b[A");
addSoftKey(row, "", "\u001b[B"); addSoftKey(row, "", "\u001b[B");
addSoftKey(row, "Esc", "\u001b");
addSoftKey(row, "Tab", "\t");
addSoftKey(row, "Enter", TERMINAL_ENTER);
addSoftButton(row, "Paste", view -> pasteClipboard()); addSoftButton(row, "Paste", view -> pasteClipboard());
addComposerButton(row, "", this::backspaceComposerText);
addTextKey(row, "NL", "\n");
addComposerButton(row, "Bottom", this::scrollTerminalBottom);
addComposerButton(row, "Select", () -> {
terminalSelectionEnabled = !terminalSelectionEnabled;
if (terminalText != null) {
terminalText.setTextIsSelectable(terminalSelectionEnabled);
} }
setStatus(terminalSelectionEnabled ? "Terminal selection on" : "Terminal selection off");
private String accessoryPageName() { });
switch (terminalKeyPage) { break;
case 1:
return "CTRL";
case 2:
return "NAV";
case 3:
return "SYM";
case 0:
default:
return "EDIT";
} }
} }
@@ -2997,19 +3082,20 @@ public final class MainActivity extends Activity {
private void setTerminalKeyPage(int page) { private void setTerminalKeyPage(int page) {
terminalKeyPage = (page + 4) % 4; terminalKeyPage = (page + 4) % 4;
updateTerminalPageButton(); updateAccessoryTabs();
if (activeSessionName != null) { if (activeSessionName != null) {
renderTerminalControlsOnly(); renderTerminalControlsOnly();
} }
} }
private void renderTerminalControlsOnly() { private void renderTerminalControlsOnly() {
int composerIndex = terminalComposerBar == null ? -1 : root.indexOfChild(terminalComposerBar); int accessoryIndex = terminalAccessoryBar == null ? -1 : root.indexOfChild(terminalAccessoryBar);
if (composerIndex < 0 || composerIndex + 1 >= root.getChildCount()) { if (accessoryIndex < 0) {
return; return;
} }
root.removeViewAt(composerIndex + 1); root.removeViewAt(accessoryIndex);
root.addView(createAccessoryBar(), composerIndex + 1, new LinearLayout.LayoutParams( terminalAccessoryBar = createAccessoryBar();
root.addView(terminalAccessoryBar, accessoryIndex, new LinearLayout.LayoutParams(
ViewGroup.LayoutParams.MATCH_PARENT, ViewGroup.LayoutParams.MATCH_PARENT,
dp(TERMINAL_KEYS_HEIGHT_DP) dp(TERMINAL_KEYS_HEIGHT_DP)
)); ));
@@ -3162,29 +3248,23 @@ public final class MainActivity extends Activity {
return button; return button;
} }
private Button terminalPageButton() { private Button composerButton(String label, View.OnClickListener listener) {
Button button = toolbarButton("", view -> setTerminalKeyPage(terminalKeyPage + 1)); Button button = toolbarButton(label, listener);
button.setTextSize(9); button.setTextSize(10);
button.setPadding(dp(4), 0, dp(4), 0); button.setPadding(dp(5), 0, dp(5), 0);
button.setMinWidth(dp(42)); button.setMinWidth(dp(38));
button.setMinimumWidth(dp(42)); button.setMinimumWidth(dp(38));
button.setOnLongClickListener(view -> { button.setMinHeight(0);
view.performHapticFeedback(HapticFeedbackConstants.LONG_PRESS); button.setMinimumHeight(0);
setTerminalKeyPage(terminalKeyPage - 1);
return true;
});
updateTerminalPageButton(button);
return button; return button;
} }
private void updateTerminalPageButton() { private Button composerPrimaryButton(String label, View.OnClickListener listener) {
updateTerminalPageButton(terminalKeyPageButton); Button button = composerButton(label, listener);
} button.setTextColor(Color.rgb(14, 38, 24));
button.setTextSize(11);
private void updateTerminalPageButton(Button button) { button.setBackground(rounded(COLOR_ACCENT, 7, COLOR_ACCENT, 1));
if (button != null) { return button;
button.setText(accessoryPageName());
}
} }
private void styleInput(EditText input) { private void styleInput(EditText input) {
@@ -3199,8 +3279,8 @@ public final class MainActivity extends Activity {
private void styleComposerInput(EditText input) { private void styleComposerInput(EditText input) {
input.setTextColor(COLOR_TEXT); input.setTextColor(COLOR_TEXT);
input.setHintTextColor(COLOR_TEXT_DIM); input.setHintTextColor(COLOR_TEXT_DIM);
input.setTextSize(14); input.setTextSize(13);
input.setPadding(dp(9), dp(6), dp(9), dp(6)); input.setPadding(dp(8), dp(5), dp(8), dp(5));
input.setBackground(inputBackground()); input.setBackground(inputBackground());
} }
@@ -3252,32 +3332,65 @@ public final class MainActivity extends Activity {
addSoftButton(row, label, view -> insertComposerText(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) { private void addComposerButton(LinearLayout row, String label, Runnable action) {
addSoftButton(row, label, view -> action.run()); addSoftButton(row, label, view -> action.run());
} }
private void addSoftButton(LinearLayout row, String label, View.OnClickListener listener) { private void addSoftButton(LinearLayout row, String label, View.OnClickListener listener) {
Button button = toolbarButton(label, listener); Button button = toolbarButton(label, listener);
button.setTextSize(isArrowLabel(label) ? 15 : 9); button.setTextSize(isArrowLabel(label) ? 14 : 9);
button.setPadding(dp(4), 0, dp(4), 0); button.setPadding(dp(5), 0, dp(5), 0);
int width = "Space".equals(label) ? 56 : (isArrowLabel(label) ? 32 : 38); button.setMinWidth(dp(38));
button.setMinWidth(dp(width)); button.setMinimumWidth(dp(38));
button.setMinimumWidth(dp(width)); button.setMinHeight(0);
button.setMinimumHeight(0);
LinearLayout.LayoutParams params = new LinearLayout.LayoutParams( LinearLayout.LayoutParams params = new LinearLayout.LayoutParams(
ViewGroup.LayoutParams.WRAP_CONTENT, ViewGroup.LayoutParams.WRAP_CONTENT,
dp(27) ViewGroup.LayoutParams.MATCH_PARENT,
0
); );
params.leftMargin = dp(1); params.leftMargin = dp(1);
params.rightMargin = dp(1); params.rightMargin = dp(1);
params.topMargin = dp(2);
params.bottomMargin = dp(1);
row.addView(button, params); row.addView(button, params);
} }
private void addAccessoryTab(LinearLayout row, String label, int page) {
Button button = toolbarButton(label, view -> setTerminalKeyPage(page));
button.setTextSize(8);
button.setPadding(dp(3), 0, dp(3), 0);
button.setMinWidth(0);
button.setMinimumWidth(0);
button.setMinHeight(0);
button.setMinimumHeight(0);
terminalAccessoryTabButtons[page] = button;
styleAccessoryTab(button, terminalKeyPage == page);
LinearLayout.LayoutParams params = new LinearLayout.LayoutParams(
0,
ViewGroup.LayoutParams.MATCH_PARENT,
1
);
if (row.getChildCount() > 0) {
params.leftMargin = dp(3);
}
row.addView(button, params);
}
private void updateAccessoryTabs() {
for (int page = 0; page < terminalAccessoryTabButtons.length; page++) {
Button button = terminalAccessoryTabButtons[page];
if (button != null) {
styleAccessoryTab(button, terminalKeyPage == page);
}
}
}
private void styleAccessoryTab(Button button, boolean selected) {
button.setTextColor(selected ? Color.rgb(14, 38, 24) : COLOR_TEXT_MUTED);
button.setBackground(selected
? rounded(COLOR_ACCENT, 6, COLOR_ACCENT, 1)
: rounded(COLOR_CARD_ALT, 6, COLOR_BORDER_SOFT, 1));
}
private boolean isArrowLabel(String label) { private boolean isArrowLabel(String label) {
return "".equals(label) || "".equals(label) || "".equals(label) || "".equals(label); return "".equals(label) || "".equals(label) || "".equals(label) || "".equals(label);
} }