Stephen Boddy 1d977cc6aa 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		2015-08-08 04:11:30 +02:00
..
configobj	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
plugins	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
borg.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
config.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
container.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
cwd.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
debugserver.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
editablelabel.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
encoding.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
factory.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
freebsd.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
ipc.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
keybindings.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
layoutlauncher.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
notebook.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
optionparse.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
paned.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
plugin.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
prefseditor.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
searchbar.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
signalman.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
terminal.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
terminal_popup_menu.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
terminator.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
titlebar.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
util.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00
window.html	A manual has been added to Terminator	2015-08-08 04:11:30 +02:00