7 commits

Author	SHA1	Message	Date
Uwe Stieber	ed170d5400	Terminals: Switch minimal execution environment of all terminal plug-ins ... to JavaSE-1.6	2015-02-17 12:47:17 +01:00
Uwe Stieber	97fa987881	Terminal: Revert commits 91db4b63c9 and 2c2dbb710b	2015-02-16 12:36:23 +01:00
Uwe Stieber	efe5710878	Terminal: Clean out ISettings API	2015-02-16 11:38:20 +01:00
Uwe Stieber	d8ef37a2ce	Terminal: Fix build error	2015-02-16 09:06:40 +01:00
Uwe Stieber	9c55da9030	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	1a184c67f6	Terminal: Clean out terminal feature structure	2015-02-09 15:22:05 +01:00
Uwe Stieber	d01d7f9260	Terminal: Move deprecated Terminal features and plug-ins into separate "deprecated" folder.	2015-02-05 10:54:09 +01:00