https://bugs.kde.org/show_bug.cgi?id=397563
--- Comment #5 from Mark <mpic...@gmail.com> --- (In reply to Christoph Cullmann from comment #4) > Would a solution be that we just collect "which highlightings got set by the > user" and have some "Recent" menu that shows the XX most used ones? That way > this would naturally populate after some time with the "right ones" and one > needs no ui to configure it at all? Sorry I didn't respond faster. A "Recent" menu would absolutely fix this! -- You are receiving this mail because: You are watching all bug changes.
