Gedit 3.9.3 Brings Various Bugfixes and Improvements

Looks like the Gedit development team is a little bit behind the 3.9.3 schedule, as the GNOME 3.9.3 desktop environment has been officially unleashed for testing a week ago, on June 24, 2013. Gedit 3.9.3 includes various improvements and bug fixes to the file-browser and the external tools plugins, and fixes clicking on replace dialog buttons.