Could you try with the Snippets plugin to see wheter it is also affected or not ? (I think both plugins share the same code but I'm not sure) Thanks.
I've reported the bug into gnome bugzilla (http://bugs.gnome.org/334222). I'll have a look at it asap.
Could you try with the Snippets plugin to see wheter it is also affected or not ? (I think both plugins share the same code but I'm not sure) Thanks.
I've reported the bug into gnome bugzilla (http:// bugs.gnome. org/334222). I'll have a look at it asap.