Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMax Weninger2012-01-24 08:55:21 -0500
committerUwe Stieber2012-01-24 08:55:21 -0500
commitfd33ca522d0941e427a4add2c62fba6aef120dfa (patch)
tree2fde84076b42f90250957e5cc4bd806a47a6f5e9 /target_explorer/plugins/org.eclipse.tcf.te.ui.terminals.telnet
parent6f047bf6a21dcc9be9bf444da123e8b32834da52 (diff)
downloadorg.eclipse.tcf-fd33ca522d0941e427a4add2c62fba6aef120dfa.tar.gz
org.eclipse.tcf-fd33ca522d0941e427a4add2c62fba6aef120dfa.tar.xz
org.eclipse.tcf-fd33ca522d0941e427a4add2c62fba6aef120dfa.zip
Target Explorer: Use DateFormat.SHORT for terminal tab titles
Diffstat (limited to 'target_explorer/plugins/org.eclipse.tcf.te.ui.terminals.telnet')
-rw-r--r--target_explorer/plugins/org.eclipse.tcf.te.ui.terminals.telnet/src/org/eclipse/tcf/te/ui/terminals/telnet/launcher/TelnetLauncherDelegate.java2
1 files changed, 1 insertions, 1 deletions
diff --git a/target_explorer/plugins/org.eclipse.tcf.te.ui.terminals.telnet/src/org/eclipse/tcf/te/ui/terminals/telnet/launcher/TelnetLauncherDelegate.java b/target_explorer/plugins/org.eclipse.tcf.te.ui.terminals.telnet/src/org/eclipse/tcf/te/ui/terminals/telnet/launcher/TelnetLauncherDelegate.java
index a3373f3e5..c3ac8d5d5 100644
--- a/target_explorer/plugins/org.eclipse.tcf.te.ui.terminals.telnet/src/org/eclipse/tcf/te/ui/terminals/telnet/launcher/TelnetLauncherDelegate.java
+++ b/target_explorer/plugins/org.eclipse.tcf.te.ui.terminals.telnet/src/org/eclipse/tcf/te/ui/terminals/telnet/launcher/TelnetLauncherDelegate.java
@@ -76,7 +76,7 @@ public class TelnetLauncherDelegate extends AbstractLauncherDelegate {
String host = properties.getStringProperty(ITerminalsConnectorConstants.PROP_IP_HOST);
if (host != null) {
- DateFormat format = DateFormat.getDateTimeInstance(DateFormat.LONG, DateFormat.LONG);
+ DateFormat format = DateFormat.getDateTimeInstance(DateFormat.SHORT, DateFormat.SHORT);
String date = format.format(new Date(System.currentTimeMillis()));
return NLS.bind(Messages.TelnetLauncherDelegate_terminalTitle, new String[]{host, date});
}

Back to the top