* setup.py can install the manual (and by extension do can debuild)
* setup.py has (inactive) code for generating the html from the source
but this will break if rtd theme is not available
* A few changes to doc strings to make the autodoc prettier
* Added help shortcut, by default F1 to open the local manual
* Added button to About tab to launch manual
* A couple of additional string to translate related to manual/help
* Small tweak to setup.py to seperate build and install, and always attempt
to install manual by default.
* Small fix for systems (i.e. my 12.04 LTS) that don't set LANGUAGE for
whatever reason. This breaks the manual lookup
* Add translation for column headers in Preferences
* Add translation for some remaining strings
* Remove some of the now deprecated "Gtk.STOCK_*" items
BIG update to translations, due to additions and changes. Unfortunately Launchpad
translations don't work with gettext fuzzy matches, so I'm afraid there's a lot
of rework for translators.
* Add a few new translatable strings
* Update the list of files to scan with additionas and deletions
* Update the template (pot) and country (po) files
* Fix the preferences window to be translated (LP:#1245806) (accidentally added earlier in gtk3 rev 1565, just noting here)
* Update tab close button icon to match lighter gnome-terminal one (accidentally added earlier in gtk3 rev 1565, just noting here)
Stephen Boddy