Thanks for the response and bug report which doesn't seem to be worked on; what a pity. I'll have a look if there is a gedit-plugin as replacement.
Thanks for the response and bug report which doesn't seem to be worked on; what a pity. I'll have a look if there is a gedit-plugin as replacement.