Compare commits

...
2 Commits
Author SHA1 Message Date
Codex 47af792d62 Pin tmux status above soft keys
Gitea Smoke / smoke (push) Successful in 0s
Gitea Android APK / build (push) Failing after 8m24s
2026-07-14 15:36:49 +00:00
Codex 0c7dba0ef1 Fix terminal composer and status layout
Gitea Smoke / smoke (push) Successful in 0s
Gitea Android APK / build (push) Successful in 12m20s
2026-07-14 15:23:22 +00:00
@@ -1734,11 +1734,11 @@ public final class MainActivity extends Activity {
terminalText.setLineSpacing(0, 1.05f);
terminalText.setGravity(Gravity.BOTTOM | Gravity.START);
terminalText.setTextIsSelectable(terminalSelectionEnabled);
terminalText.setPadding(dp(2), dp(8), dp(2), dp(8));
terminalText.setPadding(dp(2), dp(8), dp(2), 0);
terminalText.setBackgroundColor(COLOR_TERMINAL_BG);
terminalChatList = new LinearLayout(this);
terminalChatList.setOrientation(LinearLayout.VERTICAL);
terminalChatList.setPadding(dp(10), dp(12), dp(10), dp(18));
terminalChatList.setPadding(0, dp(12), 0, 0);
terminalChatList.addView(projectStateText("Loading conversation..."), matchWrap());
showTerminalView(terminalViewMode, false);
terminalScroll.addOnLayoutChangeListener((view, left, top, right, bottom, oldLeft, oldTop, oldRight, oldBottom) ->
@@ -1766,6 +1766,8 @@ public final class MainActivity extends Activity {
});
inputField.post(() -> {
inputField.requestFocus();
inputField.setSelection(inputField.length());
inputField.setCursorVisible(true);
hideKeyboard();
});
}
@@ -2055,7 +2057,7 @@ public final class MainActivity extends Activity {
boolean user = "user".equals(message.role);
LinearLayout block = new LinearLayout(this);
block.setOrientation(LinearLayout.VERTICAL);
block.setPadding(dp(2), dp(5), dp(2), dp(7));
block.setPadding(dp(10), dp(5), dp(10), dp(7));
TextView content = conversationContent(message, false);
content.setText((user ? " " : "") + defaultValue(message.content, "(empty)"));
@@ -2098,7 +2100,7 @@ public final class MainActivity extends Activity {
summary.setTextColor(COLOR_ACCENT_WARM);
summary.setTextSize(10);
summary.setTypeface(Typeface.MONOSPACE, Typeface.BOLD);
summary.setPadding(dp(2), dp(6), dp(2), dp(6));
summary.setPadding(dp(10), dp(6), dp(10), dp(6));
summary.setOnClickListener(view -> {
if (!terminalExpandedMessages.add(groupKey)) {
terminalExpandedMessages.remove(groupKey);
@@ -2112,7 +2114,7 @@ public final class MainActivity extends Activity {
for (ConversationMessage message : tools) {
LinearLayout detail = new LinearLayout(this);
detail.setOrientation(LinearLayout.VERTICAL);
detail.setPadding(dp(14), dp(3), dp(2), dp(7));
detail.setPadding(dp(18), dp(3), dp(10), dp(7));
TextView title = bodyText(conversationToolTitle(message));
title.setTextColor(COLOR_ACCENT_WARM);
title.setTextSize(9);
@@ -2157,7 +2159,7 @@ public final class MainActivity extends Activity {
private View conversationLiveTerminalPanel() {
LinearLayout panel = new LinearLayout(this);
panel.setOrientation(LinearLayout.VERTICAL);
panel.setPadding(dp(2), dp(10), dp(2), dp(8));
panel.setPadding(dp(2), dp(10), dp(2), 0);
LinearLayout heading = new LinearLayout(this);
heading.setOrientation(LinearLayout.HORIZONTAL);
@@ -2188,10 +2190,17 @@ public final class MainActivity extends Activity {
terminalLiveOutputText.setTextColor(COLOR_TEXT_MUTED);
terminalLiveOutputText.setTextSize(11);
terminalLiveOutputText.setTypeface(Typeface.MONOSPACE);
terminalLiveOutputText.setIncludeFontPadding(false);
terminalLiveOutputText.setHorizontallyScrolling(true);
terminalLiveOutputText.setLineSpacing(0, 1.05f);
terminalLiveOutputText.setGravity(Gravity.BOTTOM | Gravity.START);
terminalLiveOutputText.setBackgroundColor(COLOR_TERMINAL_BG);
terminalLiveOutputText.setPadding(0, dp(5), 0, 0);
terminalLiveOutputText.setMovementMethod(LinkMovementMethod.getInstance());
terminalLiveOutputText.setHighlightColor(Color.TRANSPARENT);
terminalLiveOutputText.setTextIsSelectable(true);
terminalLiveOutputText.addOnLayoutChangeListener((view, left, top, right, bottom,
oldLeft, oldTop, oldRight, oldBottom) -> resizeTerminalToViewport(false));
panel.addView(terminalLiveOutputText, matchWrap());
return panel;
}
@@ -3559,24 +3568,33 @@ public final class MainActivity extends Activity {
if (terminalText == null || terminalScroll == null) {
return;
}
int width = terminalScroll.getWidth();
TextView viewportText = terminalViewMode == TERMINAL_VIEW_CHAT && terminalLiveOutputText != null
? terminalLiveOutputText : terminalText;
int width = viewportText.getWidth();
if (width <= 0) {
width = terminalScroll.getWidth();
}
int height = terminalScroll.getHeight();
if (width <= 0 || height <= 0) {
return;
}
int horizontalPadding = terminalText.getPaddingLeft() + terminalText.getPaddingRight();
int verticalPadding = terminalText.getPaddingTop() + terminalText.getPaddingBottom();
float charWidth = terminalText.getPaint().measureText("0000000000") / 10f;
int horizontalPadding = viewportText.getPaddingLeft() + viewportText.getPaddingRight();
int verticalPadding = viewportText.getPaddingTop() + viewportText.getPaddingBottom();
float charWidth = viewportText.getPaint().measureText("0000000000") / 10f;
if (charWidth <= 0f) {
charWidth = dp(8);
}
int lineHeight = terminalText.getLineHeight();
int lineHeight = viewportText.getLineHeight();
if (lineHeight <= 0) {
lineHeight = dp(16);
}
int usableWidth = Math.max(1, width - horizontalPadding);
int cols = clamp((int) Math.floor(usableWidth / charWidth), MIN_TERMINAL_COLS, MAX_TERMINAL_COLS);
int rows = clamp((height - verticalPadding) / lineHeight, MIN_TERMINAL_ROWS, MAX_TERMINAL_ROWS);
if (terminalLiveOutputText != null) {
terminalLiveOutputText.setMinHeight(rows * lineHeight);
terminalLiveOutputText.setGravity(Gravity.BOTTOM | Gravity.START);
}
if (cols == terminalCols && rows == terminalRows && !forceSend) {
return;
}
@@ -3988,7 +4006,12 @@ public final class MainActivity extends Activity {
input.setHintTextColor(COLOR_TEXT_DIM);
input.setTextSize(13);
input.setPadding(dp(8), dp(5), dp(8), dp(5));
input.setBackground(inputBackground());
input.setBackground(composerInputBackground());
if (Build.VERSION.SDK_INT >= Build.VERSION_CODES.Q) {
GradientDrawable cursor = rounded(COLOR_ACCENT, 1, Color.TRANSPARENT, 0);
cursor.setSize(dp(2), dp(20));
input.setTextCursorDrawable(cursor);
}
}
private Button compactButton(String label, View.OnClickListener listener) {
@@ -4021,6 +4044,14 @@ public final class MainActivity extends Activity {
return rounded(COLOR_FIELD, 8, COLOR_BORDER, 1);
}
private StateListDrawable composerInputBackground() {
StateListDrawable states = new StateListDrawable();
states.addState(new int[]{android.R.attr.state_focused},
rounded(COLOR_CARD_ALT, 7, COLOR_ACCENT, 1));
states.addState(new int[]{}, rounded(COLOR_CARD, 7, COLOR_BORDER, 1));
return states;
}
private GradientDrawable rounded(int color, int radiusDp, int strokeColor, int strokeDp) {
GradientDrawable drawable = new GradientDrawable();
drawable.setColor(color);