ColorPalette shouldn't be enum as it is needed to override it.
Merge remote-tracking branch 'origin/master'
Key event handling extracted
Merge branch 'master' of https://github.com/traff/jediterm
don't block terminal redraw if exception happens at one redraw attempt
Assertion for negative height in copyArea.
Prevent unlikely NPE when drag started outside terminal
Prevent overnumerous log when using "cat" on a binary file
Merge pull request #61 from Plonk42/selection_npe

Prevent unlikely NPE when drag started outside terminal
Scrolling dY can be greater then total height.
Merge remote-tracking branch 'origin/master'
Fixed selection move on vertical resize.
Merge pull request #62 from Plonk42/unhandled_log_throttler

Prevent overnumerous log when using "cat" on a binary file
Add some more settings.
Don't need a name.
Extract options for tabbed terminal.
Possibility to define default tab name.
X11-CopyPaste option split to 2 different options.
Advanced char drawing: solves the problem with non-monospaced fonts without spoiling kerning for monospaced ones.
Merge remote-tracking branch 'origin/master'

Conflicts:
	src-terminal/com/jediterm/terminal/ui/TerminalPanel.java
	src-terminal/com/jediterm/terminal/ui/settings/DefaultSettingsProvider.java
	src-terminal/com/jediterm/terminal/ui/settings/UserSettingsProvider.java