This commit allows to set key bindings that contain
a key modified by a Shift key (e.g. `Ctrl + {`).
For example, after pressing `Ctrl + Shift + [`,
a key binding will be set to `Ctrl + {` as opposed
to `Ctrl + Shift + {` as before.
This is achieved by checking whether a key changes its
value when a Shift key is down. If it does, then the
Shift modifier is removed from `mods`. One exception:
if a key binding contains a letter then the Shift
modifier is not removed. This is because, for some
reason, a key value of a letter is never modified by the
Shift modifier and always corresponds to a key value of
a lowercase character. This is already handled in
`terminatorlib/keybindings.py`.
Resolves: #149
* Fix the tab switching if a terminal on another tab exits
* Fix for those not running IBus, where the IBus workaround caused broken keys in other keymaps set with non-IBus tools
* PuTTY paste mode
* Updated and grouped default shortcuts in man page
* Fix PuTTY paste mode so Ctrl-Right-Drag, and application mouse handling in terminal still works
* Added smart copy mode switch to prefs
* Merge feature branch for tab/terminal title editing from Haim Daniel
* 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
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)
Note: wmclass_name no longer readable under GTK3, so -c option is a bit dubious now.
Also, in HighContrast, there are issues with titlebar background colours that are not present in GTK2.
Phi