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.

Reply via email to