Ole Bohmbach ca355ea19d Give every Settings tab the same width, with air before the scroll bar (#151) ...

The Settings scroll area no longer shrinks to each tab's content, so every tab has the same width and the scroll bar stays in one place; settings keep 14 points clear of it.

2026-11-02 04:16:17 +07:00

..

headless_parity.rs

Choose the model an AI uses in Settings → AI (#145)

2026-11-02 03:06:40 +07:00

i18n.rs

Add Simplified and Traditional Chinese UI translations (R2.9) (#115)

2026-11-02 00:34:31 +07:00

smoke.rs

Give every Settings tab the same width, with air before the scroll bar (#151)

2026-11-02 04:16:17 +07:00

stuck_banner.rs

Stop deadlocks as they form and watch every lock for one that never lets go (#5)

2026-10-31 20:28:16 -04:00