5 commits

Author	SHA1	Message	Date
Michael Scharf	9ac1f1845e	[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	de7d109aa0	[175245] spell out feature neames for Europa site	2007-02-23 10:54:54 +00:00
Martin Oberhuber	f39a739c3d	Rename and add branding for Terminal features	2006-12-15 09:41:16 +00:00
Martin Oberhuber	c0ecadde56	[cleanup] fix terminal copyright headers and beautify	2006-12-07 10:19:22 +00:00
Michael Scharf	3ee369fe6a	bug 165177: split the plugin into the terminal view and connection contributions	2006-12-01 03:08:19 +00:00