![Stephen Boddy](/assets/img/avatar_default.png)
* Added source and generated html of manual, and API doc * 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
48 KiB
719x589px
48 KiB
719x589px
![](/itdominator/terminator/raw/commit/d833e5b8dff6ef992ff4be4cc4695a9e0eb00b73/doc/manual/source/imgs/prefs_profiles_background.png)