Compare commits

...
6 Commits
Author SHA1 Message Date
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
Codex 8fda3fa2da Align primary UI with v0 design
Gitea Smoke / smoke (push) Successful in 0s
Gitea Android APK / build (push) Failing after 8m54s
2026-07-10 14:23:25 +00:00
Codex 69f40e7d36 Apply v0 tmux management UI
Gitea Android APK / build (push) Failing after 0s
Gitea Smoke / smoke (push) Successful in 0s
2026-07-10 10:47:27 +00:00
Codex bc918e7664 Use full terminal text width
Gitea Smoke / smoke (push) Successful in 0s
Gitea Android APK / build (push) Failing after 8m19s
2026-07-10 09:11:03 +00:00
Codex aba3930417 Fix TLS socket wrapper compilation
Gitea Android APK / build (push) Failing after 0s
Gitea Smoke / smoke (push) Successful in 0s
2026-07-10 03:57:57 +00:00
3 changed files with 781 additions and 293 deletions
@@ -97,7 +97,8 @@ final class AppEventSocketClient {
raw.connect(new InetSocketAddress(uri.getHost(), port), SOCKET_CONNECT_TIMEOUT_MS); raw.connect(new InetSocketAddress(uri.getHost(), port), SOCKET_CONNECT_TIMEOUT_MS);
Socket connected; Socket connected;
if ("wss".equalsIgnoreCase(uri.getScheme())) { if ("wss".equalsIgnoreCase(uri.getScheme())) {
connected = SSLSocketFactory.getDefault().createSocket(raw, uri.getHost(), port, true); connected = ((SSLSocketFactory) SSLSocketFactory.getDefault())
.createSocket(raw, uri.getHost(), port, true);
} else { } else {
connected = raw; connected = raw;
} }
File diff suppressed because it is too large Load Diff
@@ -134,7 +134,8 @@ final class TerminalSocketClient {
raw.connect(new InetSocketAddress(uri.getHost(), port), SOCKET_CONNECT_TIMEOUT_MS); raw.connect(new InetSocketAddress(uri.getHost(), port), SOCKET_CONNECT_TIMEOUT_MS);
Socket connected; Socket connected;
if ("wss".equalsIgnoreCase(uri.getScheme())) { if ("wss".equalsIgnoreCase(uri.getScheme())) {
connected = SSLSocketFactory.getDefault().createSocket(raw, uri.getHost(), port, true); connected = ((SSLSocketFactory) SSLSocketFactory.getDefault())
.createSocket(raw, uri.getHost(), port, true);
} else { } else {
connected = raw; connected = raw;
} }