https://bugs.kde.org/show_bug.cgi?id=509048
Bug ID: 509048
Summary: Search results retain indentation of source, and
becomes difficult - even impossible - to use
Classification: Applications
Product: kate
Version First 23.08.5
Reported In:
Platform: Kubuntu
OS: Linux
Status: REPORTED
Severity: normal
Priority: NOR
Component: search
Assignee: [email protected]
Reporter: [email protected]
Target Milestone: ---
Created attachment 184655
--> https://bugs.kde.org/attachment.cgi?id=184655&action=edit
Including indents in search results pushes the results too far to the right.
***
If you're not sure this is actually a bug, instead post about it at
https://discuss.kde.org
If you're reporting a crash, attach a backtrace with debug symbols; see
https://community.kde.org/Guidelines_and_HOWTOs/Debugging/How_to_create_useful_crash_reports
Please remove this comment after reading and before submitting - thanks!
***
SUMMARY
STEPS TO REPRODUCE
Shift+Ctrl+F
Enter search term and press enter
OBSERVED RESULT
The search results include indentation, and hides some of the results too far
to the right
EXPECTED RESULT
Search results should not include indentation: the user is searching for terms,
not indents.
SOFTWARE/OS VERSIONS
Linux/KDE Plasma: 22.04
KDE Plasma Version: 5.27.12
KDE Frameworks Version: 5.115.0
Qt Version: 5.15.13
ADDITIONAL INFORMATION
See attached pictures for issue and suggested solution
--
You are receiving this mail because:
You are watching all bug changes.