https://bugs.kde.org/show_bug.cgi?id=397563
Christoph Cullmann <cullm...@kde.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |cullm...@kde.org
--- Comment #4 from Christoph Cullmann <cullm...@kde.org> ---
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?
--
You are receiving this mail because:
You are watching all bug changes.
