Skip to content

fix: panel tabs stay inside their bar in narrow windows - #36

Merged
vdmkenny merged 1 commit into
mainfrom
fix/panel-tabs-in-narrow-windows
Oct 15, 2026
Merged

vdmkenny merged 1 commit into
mainfrom
fix/panel-tabs-in-narrow-windows

Conversation

@vdmkenny

Copy link
Copy Markdown
Contributor

In a window narrower than the default 1440 pixels, the panels' tabs ran into each other:

  • Where a tab bar was too narrow for its tabs, ImGui shrank them, but the editor drew each tab's name and count at full width, so Breakpoints' count covered Output.
  • Below 80 pixels a tab, ImGui scrolled the bar instead. Its scroll arrows don't show, since the editor hides ImGui's own tab text, and the editor drew the tabs that had scrolled out of view over the next panel.

Now:

  • Tabs shrink as far as they need to (TabMinWidthShrink), so every tab stays in its bar and can be clicked.
  • A tab narrower than its content cuts its name short with an ellipsis, so its count stays inside it: Brea… 0.
  • Nothing a tab draws reaches past its own box.

Checked headless on mission 6 at 1440, 1180, 1040 and 920 pixels wide. At 1440 the editor draws the same pixels as before.

Where a panel's tab bar was too narrow for its tabs, ImGui shrank them, but the editor drew their
names and counts at full width, over the next tab. Below 80 pixels a tab, ImGui scrolled the bar
instead, with arrows that the editor hides, and the editor drew the tabs that had scrolled out of
view over the next panel. Tabs now shrink as far as they need to, and a tab narrower than its
content cuts its name short with an ellipsis, so that its count stays inside it.
@vdmkenny
vdmkenny merged commit 74125a9 into main Oct 15, 2026
3 checks passed
@vdmkenny
vdmkenny deleted the fix/panel-tabs-in-narrow-windows branch October 15, 2026 21:05
vdmkenny pushed a commit that referenced this pull request Oct 15, 2026
🤖 I have created a release *beep* *boop*
---


##
[0.2.1](v0.2.0...v0.2.1)
(2026-10-15)


### Fixes

* panel tabs stay inside their bar in narrow windows
([#36](#36))
([74125a9](74125a9))
* the map's names and routes, and long text in the panels
([#33](#33))
([dc1f6e3](dc1f6e3))
* the map's toolbar fits narrow windows
([#35](#35))
([7ea8701](7ea8701))

---
This PR was generated with [Release
Please](https://github.com/googleapis/release-please). See
[documentation](https://github.com/googleapis/release-please#release-please).

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
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