Skip to content

Fixed line selection off not updating#1066

Merged
Jugen merged 1 commit intomasterfrom
fix-lineselection-off
Jan 3, 2022
Merged

Fixed line selection off not updating#1066
Jugen merged 1 commit intomasterfrom
fix-lineselection-off

Conversation

@Jugen
Copy link
Copy Markdown
Collaborator

@Jugen Jugen commented Jan 3, 2022

Fixes #1064

@Jugen Jugen merged commit 25ebc97 into master Jan 3, 2022
@Jugen Jugen deleted the fix-lineselection-off branch January 3, 2022 14:12
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.

Setting GenericStyledArea.setLineHighlighterOn to false does not repaint the area and leaves the writing line highlighted

1 participant