Martin Oberhuber
1fad0e752a
[199285][api][breaking] make terminal connector id required again in plugin.xml
2008-02-05 18:00:19 +00:00
Michael Scharf
a26aaa1e71
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
76fd67c2f6
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
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
Michael Scharf
cfc0340b3c
[186134] [api] Mark Terminal API as provisional
2007-05-15 22:48:40 +00:00
Martin Oberhuber
0c39b8153e
[cleanup] fix terminal copyright headers and beautify
2006-12-07 10:04:34 +00:00
Michael Scharf
9eb580a8f2
bug 165177: split the plugin into the terminal view and connection contributions
2006-12-01 03:08:19 +00:00
