8 commits

Author	SHA1	Message	Date
Uwe Stieber	f525fb430b	Terminal: Remove deprecated local terminal features and plug-in	2015-02-17 12:50:03 +01:00
Uwe Stieber	5ed64c70e8	Terminals: Switch minimal execution environment of all terminal plug-ins ... to JavaSE-1.6	2015-02-17 12:47:17 +01:00
Uwe Stieber	498a812564	Terminal: Revert commits 91db4b63c9 and 2c2dbb710b	2015-02-16 12:36:23 +01:00
Uwe Stieber	2c2dbb710b	Terminal: Clean out ISettings API	2015-02-16 11:38:20 +01:00
Uwe Stieber	4e9cddc64f	Terminal: Fix build error	2015-02-16 09:06:40 +01:00
Uwe Stieber	91db4b63c9	Terminal: Make terminal settings store more flexible to allow to store ... non-string objects too	2015-02-13 15:58:37 +01:00
Uwe Stieber	f23138ebf7	Terminal: Clean out terminal feature structure	2015-02-09 15:22:05 +01:00
Uwe Stieber	4890542ccf	Terminal: Move deprecated Terminal features and plug-ins into separate "deprecated" folder.	2015-02-05 10:54:09 +01:00