Skip to content

New quick-highlight plugin

Gedit is missing a 'quick-highlight' plugin that would, continuously, highlight slices of text as they get selected. Builder has one from some time now. An external one already exist, it's written in Python and implementation is rather naive. Think gedit deserves a better implementation, preferably asynchronous/threaded and shipped as a core feature.

Merge request reports