Actually, this development release of Gedit is not part of the recently released GNOME 3.9.2 desktop environment, as there are some compilation issues, which will be fixed in the next testing version. Version 3.9.1 of Gedit, the default text editor for the GNOME desktop environment, includes a new Highlight Mode dialog, allows shell quotes in commands via the Run Command tool, and uses widget templates.