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.
LinuxToday is a trusted, contributor-driven news resource supporting all types of Linux users. Our thriving international community engages with us through social media and frequent content contributions aimed at solving problems ranging from personal computing to enterprise-level IT operations. LinuxToday serves as a home for a community that struggles to find comparable information elsewhere on the web.
Advertiser Disclosure: Some of the products that appear on this site are from companies from which TechnologyAdvice receives compensation. This compensation may impact how and where products appear on this site including, for example, the order in which they appear. TechnologyAdvice does not include all companies or all types of products available in the marketplace.
