Support mixed Gitea runners

.gitea/workflows/android.yaml

@@ -16,13 +16,31 @@ jobs:
         run: |
           set -eu
 
+          install_packages() {
+            if command -v apt-get >/dev/null 2>&1; then
+              apt-get update
+              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
-            apt-get update
-            apt-get install -y git curl unzip
+            install_packages git curl unzip
           fi
           if ! command -v java >/dev/null 2>&1; then
-            apt-get update
-            apt-get install -y openjdk-17-jdk-headless
+            if command -v apk >/dev/null 2>&1; then
+              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
           java -version
 

app/src/main/java/com/neatstudio/tmuxandroid/MainActivity.java

@@ -66,7 +66,7 @@ public final class MainActivity extends Activity {
     private static final int MAX_TERMINAL_COLS = 140;
     private static final int MIN_TERMINAL_ROWS = 8;
     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 = 54;
     private static final int STATUS_NORMAL = 0;
     private static final int STATUS_BUSY = 1;
     private static final int STATUS_SUCCESS = 2;
@@ -126,7 +126,7 @@ public final class MainActivity extends Activity {
     private TextView terminalMetaText;
     private ScrollView terminalScroll;
     private EditText inputField;
-    private Button terminalKeyPageButton;
+    private View terminalAccessoryBar;
     private View terminalComposerBar;
     private LinearLayout terminalGroupRow;
     private String activeSessionName;
@@ -1634,12 +1634,13 @@ public final class MainActivity extends Activity {
                 0,
                 1
         ));
-        terminalComposerBar = createComposerBar();
-        root.addView(terminalComposerBar, matchWrap());
-        root.addView(createAccessoryBar(), new LinearLayout.LayoutParams(
+        terminalAccessoryBar = createAccessoryBar();
+        root.addView(terminalAccessoryBar, new LinearLayout.LayoutParams(
                 ViewGroup.LayoutParams.MATCH_PARENT,
                 dp(TERMINAL_KEYS_HEIGHT_DP)
         ));
+        terminalComposerBar = createComposerBar();
+        root.addView(terminalComposerBar, matchWrap());
         terminalScroll.post(() -> {
             resizeTerminalToViewport(false);
             connectTerminal(sessionName);
@@ -2061,7 +2062,7 @@ public final class MainActivity extends Activity {
     private LinearLayout createComposerBar() {
         LinearLayout bar = new LinearLayout(this);
         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);
 
         LinearLayout row = new LinearLayout(this);
@@ -2071,10 +2072,10 @@ public final class MainActivity extends Activity {
         inputField = new EditText(this);
         inputField.setTextColor(COLOR_TEXT);
         inputField.setHintTextColor(COLOR_TEXT_DIM);
-        inputField.setHint("type a command…");
+        inputField.setHint("type command or text");
         inputField.setSingleLine(false);
-        inputField.setMinLines(1);
-        inputField.setMaxLines(2);
+        inputField.setMinLines(3);
+        inputField.setMaxLines(5);
         inputField.setCursorVisible(true);
         inputField.setFocusableInTouchMode(true);
         inputField.setGravity(Gravity.TOP | Gravity.START);
@@ -2099,21 +2100,20 @@ public final class MainActivity extends Activity {
             }
             return false;
         });
-        Button image = terminalToolButton("▧", view -> pickImageForSession(activeSessionName));
+        Button image = composerButton("Img", view -> pickImageForSession(activeSessionName));
         image.setContentDescription("Upload image");
-        row.addView(image, new LinearLayout.LayoutParams(dp(40), dp(40)));
+        row.addView(image, new LinearLayout.LayoutParams(dp(38), dp(38)));
         LinearLayout.LayoutParams inputParams = new LinearLayout.LayoutParams(
                 0,
                 ViewGroup.LayoutParams.WRAP_CONTENT,
                 1
         );
-        inputParams.leftMargin = dp(6);
-        inputParams.rightMargin = dp(6);
+        inputParams.leftMargin = dp(5);
+        inputParams.rightMargin = dp(5);
         row.addView(inputField, inputParams);
-        Button send = primaryButton("↵", view -> sendLine());
-        send.setTextSize(18);
+        Button send = composerPrimaryButton("Send", view -> sendLine());
         send.setContentDescription("Send input");
-        row.addView(send, new LinearLayout.LayoutParams(dp(40), dp(40)));
+        row.addView(send, new LinearLayout.LayoutParams(dp(48), dp(38)));
         bar.addView(row, matchWrap());
         return bar;
     }
@@ -2676,19 +2676,40 @@ public final class MainActivity extends Activity {
         return input;
     }
 
-    private HorizontalScrollView createAccessoryBar() {
-        HorizontalScrollView scroller = new HorizontalScrollView(this);
-        scroller.setHorizontalScrollBarEnabled(false);
-        scroller.setBackgroundColor(COLOR_PANEL);
+    private LinearLayout createAccessoryBar() {
+        LinearLayout panel = new LinearLayout(this);
+        panel.setOrientation(LinearLayout.VERTICAL);
+        panel.setPadding(dp(6), dp(3), dp(6), dp(3));
+        panel.setBackgroundColor(COLOR_PANEL);
 
-        LinearLayout row = terminalKeyRow();
-        row.setPadding(dp(8), dp(5), dp(8), dp(5));
-        addAccessoryPageKeys(row);
-        scroller.addView(row, new HorizontalScrollView.LayoutParams(
+        LinearLayout tabs = terminalKeyRow();
+        tabs.setGravity(Gravity.CENTER_VERTICAL);
+        addAccessoryTab(tabs, "Edit", 0);
+        addAccessoryTab(tabs, "Ctrl", 1);
+        addAccessoryTab(tabs, "Nav", 2);
+        addAccessoryTab(tabs, "Sym", 3);
+        panel.addView(tabs, new LinearLayout.LayoutParams(
+                ViewGroup.LayoutParams.MATCH_PARENT,
+                dp(18)
+        ));
+
+        HorizontalScrollView keyScroller = new HorizontalScrollView(this);
+        keyScroller.setHorizontalScrollBarEnabled(false);
+        keyScroller.setFillViewport(true);
+        LinearLayout keyRow = terminalKeyRow();
+        addAccessoryPageKeys(keyRow);
+        keyScroller.addView(keyRow, new HorizontalScrollView.LayoutParams(
                 ViewGroup.LayoutParams.WRAP_CONTENT,
                 ViewGroup.LayoutParams.MATCH_PARENT
         ));
-        return scroller;
+        LinearLayout.LayoutParams keyParams = new LinearLayout.LayoutParams(
+                ViewGroup.LayoutParams.MATCH_PARENT,
+                0,
+                1
+        );
+        keyParams.topMargin = dp(2);
+        panel.addView(keyScroller, keyParams);
+        return panel;
     }
 
     private LinearLayout terminalKeyRow() {
@@ -2699,35 +2720,70 @@ public final class MainActivity extends Activity {
     }
 
     private void addAccessoryPageKeys(LinearLayout row) {
-        addAccessoryButton(row, "ctrl", view -> sendTerminalInput("\u0002"));
-        addSoftKey(row, "esc", "\u001b");
-        addSoftKey(row, "tab", "\t");
-        addTextKey(row, "~", "~");
-        addTextKey(row, "/", "/");
-        addTextKey(row, "-", "-");
-        addTextKey(row, "|", "|");
-        addSoftKey(row, "C-c", "\u0003");
-        addSoftKey(row, "C-d", "\u0004");
-        addSoftKey(row, "C-z", "\u001a");
-        addSoftKey(row, "C-l", "\u000c");
-        addComposerButton(row, "←", () -> moveComposerCursor(-1));
-        addComposerButton(row, "→", () -> moveComposerCursor(1));
-        addSoftKey(row, "↑", "\u001b[A");
-        addSoftKey(row, "↓", "\u001b[B");
-        addSoftButton(row, "Paste", view -> pasteClipboard());
-    }
-
-    private String accessoryPageName() {
         switch (terminalKeyPage) {
             case 1:
-                return "CTRL";
+                addSoftKey(row, "Esc", "\u001b");
+                addSoftKey(row, "Tab", "\t");
+                addSoftKey(row, "C-c", "\u0003");
+                addSoftKey(row, "C-d", "\u0004");
+                addSoftKey(row, "C-z", "\u001a");
+                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:
-                return "NAV";
+                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:
-                return "SYM";
+                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:
-                return "EDIT";
+                addComposerButton(row, "←", () -> moveComposerCursor(-1));
+                addComposerButton(row, "→", () -> moveComposerCursor(1));
+                addSoftKey(row, "↑", "\u001b[A");
+                addSoftKey(row, "↓", "\u001b[B");
+                addSoftKey(row, "Esc", "\u001b");
+                addSoftKey(row, "Tab", "\t");
+                addSoftKey(row, "Enter", TERMINAL_ENTER);
+                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");
+                });
+                break;
         }
     }
 
@@ -2997,19 +3053,19 @@ public final class MainActivity extends Activity {
 
     private void setTerminalKeyPage(int page) {
         terminalKeyPage = (page + 4) % 4;
-        updateTerminalPageButton();
         if (activeSessionName != null) {
             renderTerminalControlsOnly();
         }
     }
 
     private void renderTerminalControlsOnly() {
-        int composerIndex = terminalComposerBar == null ? -1 : root.indexOfChild(terminalComposerBar);
-        if (composerIndex < 0 || composerIndex + 1 >= root.getChildCount()) {
+        int accessoryIndex = terminalAccessoryBar == null ? -1 : root.indexOfChild(terminalAccessoryBar);
+        if (accessoryIndex < 0) {
             return;
         }
-        root.removeViewAt(composerIndex + 1);
-        root.addView(createAccessoryBar(), composerIndex + 1, new LinearLayout.LayoutParams(
+        root.removeViewAt(accessoryIndex);
+        terminalAccessoryBar = createAccessoryBar();
+        root.addView(terminalAccessoryBar, accessoryIndex, new LinearLayout.LayoutParams(
                 ViewGroup.LayoutParams.MATCH_PARENT,
                 dp(TERMINAL_KEYS_HEIGHT_DP)
         ));
@@ -3162,29 +3218,23 @@ public final class MainActivity extends Activity {
         return button;
     }
 
-    private Button terminalPageButton() {
-        Button button = toolbarButton("", view -> setTerminalKeyPage(terminalKeyPage + 1));
-        button.setTextSize(9);
-        button.setPadding(dp(4), 0, dp(4), 0);
-        button.setMinWidth(dp(42));
-        button.setMinimumWidth(dp(42));
-        button.setOnLongClickListener(view -> {
-            view.performHapticFeedback(HapticFeedbackConstants.LONG_PRESS);
-            setTerminalKeyPage(terminalKeyPage - 1);
-            return true;
-        });
-        updateTerminalPageButton(button);
+    private Button composerButton(String label, View.OnClickListener listener) {
+        Button button = toolbarButton(label, listener);
+        button.setTextSize(10);
+        button.setPadding(dp(5), 0, dp(5), 0);
+        button.setMinWidth(0);
+        button.setMinimumWidth(0);
+        button.setMinHeight(0);
+        button.setMinimumHeight(0);
         return button;
     }
 
-    private void updateTerminalPageButton() {
-        updateTerminalPageButton(terminalKeyPageButton);
-    }
-
-    private void updateTerminalPageButton(Button button) {
-        if (button != null) {
-            button.setText(accessoryPageName());
-        }
+    private Button composerPrimaryButton(String label, View.OnClickListener listener) {
+        Button button = composerButton(label, listener);
+        button.setTextColor(Color.rgb(14, 38, 24));
+        button.setTextSize(11);
+        button.setBackground(rounded(COLOR_ACCENT, 7, COLOR_ACCENT, 1));
+        return button;
     }
 
     private void styleInput(EditText input) {
@@ -3199,8 +3249,8 @@ public final class MainActivity extends Activity {
     private void styleComposerInput(EditText input) {
         input.setTextColor(COLOR_TEXT);
         input.setHintTextColor(COLOR_TEXT_DIM);
-        input.setTextSize(14);
-        input.setPadding(dp(9), dp(6), dp(9), dp(6));
+        input.setTextSize(13);
+        input.setPadding(dp(8), dp(5), dp(8), dp(5));
         input.setBackground(inputBackground());
     }
 
@@ -3252,29 +3302,47 @@ public final class MainActivity extends Activity {
         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.setTextSize(isArrowLabel(label) ? 15 : 9);
-        button.setPadding(dp(4), 0, dp(4), 0);
-        int width = "Space".equals(label) ? 56 : (isArrowLabel(label) ? 32 : 38);
-        button.setMinWidth(dp(width));
-        button.setMinimumWidth(dp(width));
+        button.setTextSize(isArrowLabel(label) ? 14 : 9);
+        button.setPadding(dp(5), 0, dp(5), 0);
+        button.setMinWidth(0);
+        button.setMinimumWidth(0);
+        button.setMinHeight(0);
+        button.setMinimumHeight(0);
         LinearLayout.LayoutParams params = new LinearLayout.LayoutParams(
                 ViewGroup.LayoutParams.WRAP_CONTENT,
-                dp(27)
+                ViewGroup.LayoutParams.MATCH_PARENT,
+                0
         );
         params.leftMargin = dp(1);
         params.rightMargin = dp(1);
-        params.topMargin = dp(2);
-        params.bottomMargin = dp(1);
+        row.addView(button, params);
+    }
+
+    private void addAccessoryTab(LinearLayout row, String label, int page) {
+        Button button = toolbarButton(label, view -> setTerminalKeyPage(page));
+        boolean selected = terminalKeyPage == page;
+        button.setTextSize(8);
+        button.setPadding(dp(7), 0, dp(7), 0);
+        button.setMinWidth(0);
+        button.setMinimumWidth(0);
+        button.setMinHeight(0);
+        button.setMinimumHeight(0);
+        button.setTextColor(selected ? Color.rgb(14, 38, 24) : COLOR_TEXT_MUTED);
+        button.setBackground(selected
+                ? rounded(COLOR_ACCENT, 7, COLOR_ACCENT, 1)
+                : rounded(COLOR_CARD_ALT, 7, COLOR_BORDER_SOFT, 1));
+        LinearLayout.LayoutParams params = new LinearLayout.LayoutParams(
+                ViewGroup.LayoutParams.WRAP_CONTENT,
+                ViewGroup.LayoutParams.MATCH_PARENT,
+                0
+        );
+        params.rightMargin = dp(2);
         row.addView(button, params);
     }