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@xxxxxxxx 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 ____________________________________________________ tde-devels mailing list -- devels@xxxxxxxxxxxxxxxxxx To unsubscribe send an email to devels-leave@xxxxxxxxxxxxxxxxxx Web mail archive available at https://mail.trinitydesktop.org/mailman3/hyperkitty/list/devels@xxxxxxxxxxxxxxxxxx
