4 commits

Author	SHA1	Message	Date
Michael Scharf	2f5b387647	[186136] [terminal] Terminal activates extensions too early ... Now the plugins are activated only when they are really needed: - when a connection is made - when the user selects the connection in the settings dialog	2007-05-16 20:38:23 +00:00
Martin Oberhuber	6858d22f8b	[175245] spell out feature neames for Europa site	2007-02-23 10:54:54 +00:00
Martin Oberhuber	cb13dff6b2	Rename and add branding for Terminal features	2006-12-15 09:41:16 +00:00
Martin Oberhuber	79c2804166	[cleanup] fix terminal copyright headers and beautify	2006-12-07 10:26:20 +00:00