Michael Scharf
064f9aad7b
199285: [terminal][api] id is optional to not break API
...
https://bugs.eclipse.org/bugs/show_bug.cgi?id=199285
2007-10-05 13:01:02 +00:00
Michael Scharf
2ad64ddcdd
bug 199285: [terminal][api] TerminalConnector ID should be mandatory in plugin.xml
...
https://bugs.eclipse.org/bugs/show_bug.cgi?id=199285
2007-10-03 01:05:11 +00:00
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
