Improvements to gedit documentation
The following improvements to gedit documentation are suggested:
-
Main help page "gedit Plugins" -> "Configure and use gedit plugins" there is a section for the "Change case" plugin. This plugin does not longer exists and his functionality was integrated in gtksourceview (available in the edit view)
-
Main help page "gedit Plugins" -> "Configure and use gedit plugins" there is a section for the "External tools". The documentation is really limited (e.g. does not even describe the GEDIT_CURRENT_DOCUMENT_* available variables.) The content from https://wiki.gnome.org/Apps/Gedit/Plugins/ExternalTools should be use it to improve it.
-
Main help page "gedit Plugins" -> "Configure and use gedit plugins" there is a section for the "Insert date/time". When it says "press Edit ▸ Insert Date and Time." instead of "Edit" I think it should say "Tools"
Version: gedit 3.3.2 or git master