Skip to content

Conversation

@MaeIsBad
Copy link
Contributor

@MaeIsBad MaeIsBad commented Sep 4, 2025

Being able to select text on the diagram is useful, and there is no reason to disable it

@MaeIsBad MaeIsBad force-pushed the allow_selection_when_zooming_enabled branch from 665a44c to d8d74cf Compare September 5, 2025 11:29
@johanneswuerbach
Copy link
Owner

@MaeIsBad looks like there are some merge markers here.

default sets it to a plain pointer, while auto changes depending on what
the cursor is hovering over.
@MaeIsBad MaeIsBad force-pushed the allow_selection_when_zooming_enabled branch from d8d74cf to cab02ac Compare September 5, 2025 12:47
@MaeIsBad
Copy link
Contributor Author

MaeIsBad commented Sep 5, 2025

oops, fixed

@johanneswuerbach johanneswuerbach merged commit 34f82c3 into johanneswuerbach:main Sep 5, 2025
2 checks passed
@johanneswuerbach
Copy link
Owner

Thank you for your PRs, published as [email protected]

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