4 Jun
2021
4 Jun
'21
1:09 p.m.
On 2021/06/03 11:58 PM, robvand(a)tele2.nl wrote:
Thank you all for your reply.
I forgot to mention this URL:
https://kate-editor.org/2010-11-14/highlight-selected-text/
However, I haven't found the source for this old KDE4 kate plugin yet
nor even managed to build a recent TDE kate (with plugins) from the source.
I guess this is the right link https://kate-editor.org/2010/11/14/highlight-selected-text
:-)
Cheers
Michele