This development release fixes file-browser and the external tools plugins
Yet another development release towards Gedit 3.10 has been released yesterday, July 1, bringing several improvements to various functions and fixing various bugs found in previous testing releases.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.
Several other small bugs were also squashed in this new development release of the Gedit text editor for the GNOME desktop environment. Moreover, the following translations have been updated: Czech, Spanish, Italian and Norwegian. For more details, please read the official raw changelog.
Download Gedit 3.9.3 right now from Softpedia. Remember that this is a development release and it should NOT be installed on production machines. It is intended to be used for testing purposes only.