Skip to content

Fix clipped Android code language selector - #164

Open
tiensonqin wants to merge 1 commit into
mainfrom
codex/android-code-language-selector
Open

tiensonqin wants to merge 1 commit into
mainfrom
codex/android-code-language-selector

Conversation

@tiensonqin

@tiensonqin tiensonqin commented Nov 11, 2026 •

Copy link
Copy Markdown
Contributor

The Android code-language selector used the default Material text-button padding inside a 28 dp header, clipping the language name. Use a leading-aligned label so the native selector removes that padding and gives the text its intrinsic width. Apply the adjustment only to the Kotlin host.

Reproduced the clipping before the fix. Two Android emulator tests pass, covering complete labels for plain text, TypeScript and a longer custom language, the compact header, menu selection and multiline code editing. All 1,302 OCaml core tests pass.


Devin Review

@devin-ai-integration devin-ai-integration Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

✅ Devin Review: No Issues Found

Devin Review analyzed this PR and found no bugs or issues to report.

Devin Review

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant