Skip to content

Slim down toolbar to only essential icons - #1075

Merged
tturocy merged 3 commits into
masterfrom
gui_toolbar
Aug 21, 2026
Merged

Slim down toolbar to only essential icons#1075
tturocy merged 3 commits into
masterfrom
gui_toolbar

Conversation

@tturocy

@tturocy tturocy commented Aug 21, 2026

Copy link
Copy Markdown
Member

No description provided.

@tturocy tturocy self-assigned this Aug 21, 2026
@tturocy tturocy added this to the gambit-17.0.0.alpha.2 milestone Aug 21, 2026
@tturocy
tturocy merged commit 9130a21 into master Aug 21, 2026
26 checks passed
@tturocy
tturocy deleted the gui_toolbar branch August 21, 2026 18:44
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