Selection API extension
Copy/paste typo
Merge branch 'master' into selection_api_extension

Conflicts:
	src-terminal/com/jediterm/terminal/display/SelectionUtil.java
Update default separators
Merge pull request #38 from Plonk42/selection_api_extension

Selection API extension