-
-
Notifications
You must be signed in to change notification settings - Fork 116
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fix highlighting after reselection of same word #1484
base: master
Are you sure you want to change the base?
Conversation
* Sync with GitManager and ProjectChooserButton
@zeebok You may like to take a look at this and let me know if by any chance it also fixes the crashing problem we discussed. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This works as expected though it seems slightly slower, particularly with removing the highlight after clicking elsewhere. Not sure if there is a way to fix that before merging but I think it could also be a separate PR if you wanted
@zeebok I see what you mean. I have now separated the throttle for the selection change signal so that can be faster. Could you reproduce the crash on |
Significant changes made since review
Increase maximum length of selection for highlighting
…rtup Jeremypw/sync activeproject startup
6816410
to
2a7161d
Compare
@jeremypw I will try to take a look at this review again this week! |
Fixes #1483
Throttling the update-spaces function was tried but the resulting lag was found to be distracting so now they are updated straight-away as before. This is inefficient but any improvement can be left for another PR.