* Issue #39: The unsaved documents are automatically saved before launching a compilation with AutoLaTeX.
* Issue #39: The auto-saving feature of the Gedit plugin may be enabled or disabled through the plugin's preferences.