Summary: | Previously selected text can be deleted by editing another line of the file | ||
---|---|---|---|
Product: | [Applications] kdevelop | Reporter: | meyraud705 |
Component: | All editors | Assignee: | kdevelop-bugs-null |
Status: | RESOLVED FIXED | ||
Severity: | major | ||
Priority: | NOR | ||
Version: | 5.4.3 | ||
Target Milestone: | --- | ||
Platform: | Other | ||
OS: | Linux | ||
Latest Commit: | https://invent.kde.org/kde/kdevelop/commit/f8754f08ac096100b5160940a0003ad4d52c2a57 | Version Fixed In: | |
Attachments: | Deselect text when moving cursor |
Description
meyraud705
2019-12-28 14:38:26 UTC
Created attachment 125587 [details]
Deselect text when moving cursor
I attached a patch that fixes this issue. I am not familiar with this project so I am not sure it is the correct way to fix this but it works.
Thank you for looking at the issue! KDevelop developers use a gitlab instance to allow contributors to submit merge requests at https://invent.kde.org/kde/kdevelop funny how noone noticed this until now I'll apply a patch based on yours now, thanks! Git commit f8754f08ac096100b5160940a0003ad4d52c2a57 by Milian Wolff. Committed on 14/02/2020 at 10:31. Pushed by mwolff into branch '5.5'. Clear selection when updating cursor position Normally the user cannot get distinct selections and cursor positions either using the mouse or keyboard. So we shouldn't get into that position either when programatically changing the cursor position. M +2 -4 kdevplatform/shell/textdocument.cpp https://invent.kde.org/kde/kdevelop/commit/f8754f08ac096100b5160940a0003ad4d52c2a57 |