5 Jun
2021
5 Jun
'21
12:35 p.m.
https://kate-editor.org/2010/11/14/highlight-selected-text/
...is the right one. My bad !
On Friday 04 June 2021 15:09:25 you wrote:
On 2021/06/03 11:58 PM, robvand@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