| Summary: | Whitespace highlight marker size cannot be changed | ||
|---|---|---|---|
| Product: | [Applications] kate | Reporter: | Evgenii <forsimen> |
| Component: | general | Assignee: | KWrite Developers <kwrite-bugs-null> |
| Status: | RESOLVED FIXED | ||
| Severity: | minor | ||
| Priority: | NOR | ||
| Version First Reported In: | 18.12.1 | ||
| Target Milestone: | --- | ||
| Platform: | Arch Linux | ||
| OS: | Linux | ||
| Latest Commit: | https://commits.kde.org/ktexteditor/5a6449c3b3d9bbc2b1bc15a5d5b40d7228f3a406 | Version Fixed/Implemented In: | 5.55 |
| Sentry Crash Report: | |||
|
Description
Evgenii
2019-01-20 09:39:49 UTC
Indeed, introduced with https://phabricator.kde.org/D17661 in KF5 v5.54. Git commit 5a6449c3b3d9bbc2b1bc15a5d5b40d7228f3a406 by Dominik Haumann. Committed on 30/01/2019 at 16:16. Pushed by dhaumann into branch 'master'. Fix bug 403422: Allow changing the marker size again This bug was introduced with https://phabricator.kde.org/D17661 with commit c287d3858fd780f5e139d05e8bb7d4558ccc71b8 FIXED-IN: 5.55 M +21 -6 src/dialogs/textareaappearanceconfigwidget.ui https://commits.kde.org/ktexteditor/5a6449c3b3d9bbc2b1bc15a5d5b40d7228f3a406 |