4 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
Michael Scharf	ca1d643e1a	[186134] [api] Mark Terminal API as provisional	2007-05-15 22:48:40 +00:00
Martin Oberhuber	405deafe39	[cleanup] fix terminal copyright headers and beautify	2006-12-07 10:04:34 +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