Martin Oberhuber
|
d9654b70c8
|
[cleanup] Set default recommended warning level on all projects
|
2007-01-30 21:39:30 +00:00 |
|
Martin Oberhuber
|
0448185c85
|
[cleanup] define access rules for marking internal package access discouraged
|
2007-01-30 20:28:32 +00:00 |
|
Martin Oberhuber
|
a90292215f
|
[cleanup] compiler warnings
|
2007-01-30 17:59:31 +00:00 |
|
Martin Oberhuber
|
479e74ee2c
|
[170814] avoid excessive sending of resize packets
|
2007-01-17 18:51:18 +00:00 |
|
Martin Oberhuber
|
dedb502a51
|
Rev down ssh version again since it is not changed
|
2006-12-20 18:38:43 +00:00 |
|
Martin Oberhuber
|
307ce06ce2
|
Rev up version numbers for 2.0M4 according to changes in plugins
|
2006-12-20 18:30:03 +00:00 |
|
Martin Oberhuber
|
f39a739c3d
|
Rename and add branding for Terminal features
|
2006-12-15 09:41:16 +00:00 |
|
Michael Scharf
|
f19c85aded
|
cancel the ssh connection correctly (terminate the SshConnection thread)
|
2006-12-08 05:25:42 +00:00 |
|
Martin Oberhuber
|
047d99fa77
|
Get rid of dependency to team.cvs, re-using Preferences directly by Strings
|
2006-12-07 16:49:38 +00:00 |
|
Martin Oberhuber
|
9cda4a05af
|
Support Terminal Ssh Preferences, Proxy, Passphrase and KI authentication
|
2006-12-07 15:25:50 +00:00 |
|
Martin Oberhuber
|
f5e7dae7ac
|
Switch terminal to standard RSE jdt.core.prefs
|
2006-12-07 13:43:20 +00:00 |
|
Martin Oberhuber
|
209b7830ba
|
Fix terminal build.properties for adding about.html
|
2006-12-07 13:37:18 +00:00 |
|
Martin Oberhuber
|
06a9119c12
|
Fix terminal.ssh version number
|
2006-12-07 12:35:07 +00:00 |
|
Martin Oberhuber
|
173795e905
|
Add about.html to terminal plugins
|
2006-12-07 11:07:43 +00:00 |
|
Martin Oberhuber
|
9d59d4087a
|
[cleanup] fix terminal copyright headers and beautify
|
2006-12-07 10:26:20 +00:00 |
|
Michael Scharf
|
300953d6e5
|
build fixed
|
2006-12-07 02:52:27 +00:00 |
|
Michael Scharf
|
ab27dfc05b
|
fixed warnings and set 1.4 execution environment
|
2006-12-07 02:43:54 +00:00 |
|
Michael Scharf
|
9cf56ceee9
|
initial version
|
2006-12-07 02:40:58 +00:00 |
|