Skip to content

Fixed issue #2311#2318

Merged
klayoutmatthias merged 1 commit intomasterfrom
bugfix/issue-2311
Apr 14, 2026
Merged

Fixed issue #2311#2318
klayoutmatthias merged 1 commit intomasterfrom
bugfix/issue-2311

Conversation

@klayoutmatthias
Copy link
Copy Markdown
Collaborator

As I see it, only this particular tool top was not guarded against non-UI mode. All other tooltips
are either guarded or pop up only in a user
interaction context.

As I see it, only this particular tool top was not
guarded against non-UI mode. All other tooltips
are either guarded or pop up only in a user
interaction context.
@klayoutmatthias klayoutmatthias linked an issue Apr 4, 2026 that may be closed by this pull request
@martinjankoehler
Copy link
Copy Markdown
Contributor

@klayoutmatthias Thanks for fixing, I've successfully retested the scenario. Please merge.

@klayoutmatthias klayoutmatthias merged commit 9d6fa50 into master Apr 14, 2026
26 of 28 checks passed
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.

Tip window is shown although running in non-GUI mode

2 participants