Skip to content

Remove extraneous separator from toolbar when no selection types allowed#215

Merged
PeterC-DLS merged 1 commit into
v1.0from
remove-extra-separator
Nov 3, 2025
Merged

Remove extraneous separator from toolbar when no selection types allowed#215
PeterC-DLS merged 1 commit into
v1.0from
remove-extra-separator

Conversation

@PeterC-DLS

Copy link
Copy Markdown
Contributor

No description provided.

@PeterC-DLS PeterC-DLS force-pushed the remove-extra-separator branch from 2649327 to db9537f Compare November 3, 2025 08:43
@PeterC-DLS PeterC-DLS merged commit b988a3b into v1.0 Nov 3, 2025
2 checks passed
@PeterC-DLS PeterC-DLS deleted the remove-extra-separator branch November 3, 2025 08:47
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.

2 participants