mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-13 12:05:21 +02:00
Code Issues Wiki Activity

RESOLVED - bug 240023: [terminal] Get rid of the terminal's "Pin" button

Browse source 
https://bugs.eclipse.org/bugs/show_bug.cgi?id=240023
This commit is contained in:
Michael Scharf 2008-07-08 20:23:26 +00:00
parent 77a4acc0cf
commit 51b778bd2d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
terminal/org.eclipse.tm.terminal.view/src/org/eclipse/tm/internal/terminal/actions/ActionMessages.properties
View file

@ -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