1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-29 11:55:40 +02:00

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

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 5e04c9e844
commit 297186cc13

View file

@ -17,7 +17,7 @@
# Michael Scharf (Wind River) - [172483] switch between connections # Michael Scharf (Wind River) - [172483] switch between connections
# Michael Scharf (Wind River) - [240023] Get rid of the terminal's "Pin" button # 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 NEW_TERMINAL_VIEW = New Terminal View
CONNECT = Connect CONNECT = Connect
DISCONNECT = Disconnect DISCONNECT = Disconnect