Hello, what's the progress on this? Is Michael's patch being used? Has the patch been submitted to the gedit developers?
Hello, what's the progress on this? Is Michael's patch being used? Has the patch been submitted to the gedit developers?