← Back to branch summary

~stephen-j-boddy/terminator/bugfix-1318542-double-chars

« back to all changes in this revision

Viewing changes to terminatorlib/config.py

  • Committer: Stephen Boddy
  • Date: 2015-08-08 02:11:30 UTC
  • Revision ID: stephen.j.boddy@gmail.com-20150808021130-9c1npu4gvenkcb1p
A manual has been added to Terminator
* 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

Show diffs side-by-side

added added

removed removed

Lines of Context:
terminatorlib/config.py
191
191
            'edit_window_title': '<Alt>t',
192
192
            'layout_launcher'  : '<Alt>l',
193
193
            'next_profile'     : '',
194
 
            'previous_profile' : ''
 
194
            'previous_profile' : '', 
 
195
            'help'             : 'F1'
195
196
        },
196
197
        'profiles': {
197
198
            'default':  {