Please note that this bug affects more than just gedit - similar bugs have been reported against other applications, including eclipse: see https://bugs.eclipse.org/bugs/show_bug.cgi?id=137011
Because of this, I think the priority should be increased!
Please note that this bug affects more than just gedit - similar bugs have been reported against other applications, including eclipse: see https:/ /bugs.eclipse. org/bugs/ show_bug. cgi?id= 137011
Because of this, I think the priority should be increased!