12 commits

Author	SHA1	Message	Date
Martin Oberhuber	f39a739c3d	Rename and add branding for Terminal features	2006-12-15 09:41:16 +00:00
Michael Scharf	f19c85aded	cancel the ssh connection correctly (terminate the SshConnection thread)	2006-12-08 05:25:42 +00:00
Martin Oberhuber	047d99fa77	Get rid of dependency to team.cvs, re-using Preferences directly by Strings	2006-12-07 16:49:38 +00:00
Martin Oberhuber	9cda4a05af	Support Terminal Ssh Preferences, Proxy, Passphrase and KI authentication	2006-12-07 15:25:50 +00:00
Martin Oberhuber	f5e7dae7ac	Switch terminal to standard RSE jdt.core.prefs	2006-12-07 13:43:20 +00:00
Martin Oberhuber	209b7830ba	Fix terminal build.properties for adding about.html	2006-12-07 13:37:18 +00:00
Martin Oberhuber	06a9119c12	Fix terminal.ssh version number	2006-12-07 12:35:07 +00:00
Martin Oberhuber	173795e905	Add about.html to terminal plugins	2006-12-07 11:07:43 +00:00
Martin Oberhuber	9d59d4087a	[cleanup] fix terminal copyright headers and beautify	2006-12-07 10:26:20 +00:00
Michael Scharf	300953d6e5	build fixed	2006-12-07 02:52:27 +00:00
Michael Scharf	ab27dfc05b	fixed warnings and set 1.4 execution environment	2006-12-07 02:43:54 +00:00
Michael Scharf	9cf56ceee9	initial version	2006-12-07 02:40:58 +00:00