althaser Wed, 06 Nov 2013 11:06:52 -0800
I could not reproduced the bug with gedit=3.8.3-3+b1, gedit-common=3.8.3-3, libgtksourceview-3.0-1=3.8.2-1 and libgtksourceview-3.0-common=3.8.2-1
neither with gedit-3.8.3-4 do you still have this issue with 3.8.3-4 ? Regards
