[Bug 941036] Gnome gedit text selection should not auto-deselect unless user wants that