| Summary: | Search&Replace Plugin: Replaced text stays highlighted | ||
|---|---|---|---|
| Product: | [Applications] kate | Reporter: | Matthew Trescott <matthewtrescott> |
| Component: | application | Assignee: | KWrite Developers <kwrite-bugs-null> |
| Status: | RESOLVED FIXED | ||
| Severity: | wishlist | CC: | kare.sars, waqar.17a |
| Priority: | NOR | ||
| Version First Reported In: | 17.12.0 | ||
| Target Milestone: | --- | ||
| Platform: | Arch Linux | ||
| OS: | Linux | ||
| Latest Commit: | Version Fixed In: | ||
| Sentry Crash Report: | |||
|
Description
Matthew Trescott
2018-01-10 00:12:55 UTC
What happens, if you close the search & replace bar? What happens, if you press ESCAPE multiple times? Closing the search-and-replace bar does not get rid of the highlighting, but pressing escape does. Maybe the highlighting should be removed upon closing the search-and-replace bar? The idea is that you can close the search toolview and still have the highlights with the full height of the window. That said I do think we need to add some more situations where the highlight is removed. Sometimes the highlights do feel a bit too persistent. The problem is that I do not have a clear idea what action should trigger the removal yet. Maybe the clearing of the search field could be one... The search plugin got a major overhaul a few releases back. And IIRC, we now clear the results if the search field is cleared. The results still stay if you just close the S&R widget, that is by design. |