1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-23 14:42:11 +02:00
cdt/plugins
Anton Leherbauer 21e5739a8f Rework fix for bug 420928
We need to continue polling the text model until the terminal is
actually disconnected from the input stream, otherwise error messages
about connect failures don't appear in the terminal.
2015-05-07 09:46:16 +02:00
..
org.eclipse.tm.terminal.connector.local Update "Save Actions" to not remove unnecessary cast 2015-05-07 09:19:09 +02:00
org.eclipse.tm.terminal.connector.process Update "Save Actions" to not remove unnecessary cast 2015-05-07 09:19:09 +02:00
org.eclipse.tm.terminal.connector.remote Fix plugin-id of extension point. 2015-05-05 09:23:02 -04:00
org.eclipse.tm.terminal.connector.serial Update "Save Actions" to not remove unnecessary cast 2015-05-07 09:19:09 +02:00
org.eclipse.tm.terminal.connector.ssh Update "Save Actions" to not remove unnecessary cast 2015-05-07 09:19:09 +02:00
org.eclipse.tm.terminal.connector.telnet Update "Save Actions" to not remove unnecessary cast 2015-05-07 09:19:09 +02:00
org.eclipse.tm.terminal.control Rework fix for bug 420928 2015-05-07 09:46:16 +02:00
org.eclipse.tm.terminal.test Cleanup: Make provider names consistent 2015-05-07 08:07:13 +02:00
org.eclipse.tm.terminal.view.core Update "Save Actions" to not remove unnecessary cast 2015-05-07 09:19:09 +02:00
org.eclipse.tm.terminal.view.ui Fixed missing explicit casts 2015-05-07 09:24:10 +02:00
org.eclipse.tm.terminal.view.ui.rse Update "Save Actions" to not remove unnecessary cast 2015-05-07 09:19:09 +02:00