From 51b778bd2d61fca728f1c4876209fa809c70e462 Mon Sep 17 00:00:00 2001 From: Michael Scharf Date: Tue, 8 Jul 2008 20:23:26 +0000 Subject: [PATCH] RESOLVED - bug 240023: [terminal] Get rid of the terminal's "Pin" button https://bugs.eclipse.org/bugs/show_bug.cgi?id=240023 --- .../tm/internal/terminal/actions/ActionMessages.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/terminal/org.eclipse.tm.terminal.view/src/org/eclipse/tm/internal/terminal/actions/ActionMessages.properties b/terminal/org.eclipse.tm.terminal.view/src/org/eclipse/tm/internal/terminal/actions/ActionMessages.properties index c45eba86826..d28936dd0f4 100644 --- a/terminal/org.eclipse.tm.terminal.view/src/org/eclipse/tm/internal/terminal/actions/ActionMessages.properties +++ b/terminal/org.eclipse.tm.terminal.view/src/org/eclipse/tm/internal/terminal/actions/ActionMessages.properties @@ -17,7 +17,7 @@ # Michael Scharf (Wind River) - [172483] switch between connections # Michael Scharf (Wind River) - [240023] Get rid of the terminal's "Pin" button ############################################################################### -NEW_TERMINAL_CONNECTION = New Terminal Connection... +NEW_TERMINAL_CONNECTION = New Terminal Connection in Current View... NEW_TERMINAL_VIEW = New Terminal View CONNECT = Connect DISCONNECT = Disconnect