| #=============================================================================# |
| # Copyright (c) 2005, 2021 Stephan Wahlbrink and others. |
| # |
| # This program and the accompanying materials are made available under the |
| # terms of the Eclipse Public License 2.0 which is available at |
| # https://www.eclipse.org/legal/epl-2.0, or the Apache License, Version 2.0 |
| # which is available at https://www.apache.org/licenses/LICENSE-2.0. |
| # |
| # SPDX-License-Identifier: EPL-2.0 OR Apache-2.0 |
| # |
| # Contributors: |
| # Stephan Wahlbrink <sw@wahlbrink.eu> - initial API and implementation |
| #=============================================================================# |
| |
| views_Queue_name = Queue |
| views_History_name = Cmd History |
| |
| contexts_ConsoleEditorScope_name = Editing Console Input\u2002[StatET] |
| contexts_ConsoleEditorScope_description = Context editing the input in a new console of StatET. |
| |
| commands_CancelCurrent_name = Cancel the Current Task |
| commands_CancelCurrentAndPause_name = Cancel and Pause |
| commands_CancelAll_name = Cancel All Tasks |
| commands_CancelCombi_name = Cancel |
| commands_PauseTool_name = Pause |
| |
| commands_DisconnectTool_name= Disconnect |
| commands_DisconnectTool_description= Disconnects StatET console (client) from external tool (server) |
| commands_ReconnectTool_name= Reconnect |
| commands_ReconnectTool_description= Reconnects StatET console (client) to external tool (server) |
| commands_RelaunchTool_name= Relaunch Tool |
| commands_RelaunchTool_description= Terminates and relaunches the current tool session |
| |
| commands_SearchHistoryOlder_name = Search History for Next Older Item |
| commands_SearchHistoryOlder_description = Searches through the history for closest older item starting with the text before the cursor. |
| commands_SearchHistoryNewer_name = Search History for Next Newer Item |
| commands_SearchHistoryNewer_description = Searches through the history for closest newer item starting with the text before the cursor. |
| commands_GotoHistoryNewest_name = Go to the Newest History Item |
| commands_GotoHistoryNewest_description = Goes to the newest item in the history. |
| |
| commands_ConsoleCategory_name = StatET Console |
| commands_ClearOutput_name = Clear Console Output |
| commands_ClearOutput_description = Clears the console output |
| commands_AdjustOutputWidth_name = Adjust Console Output Width |
| commands_AdjustOutputWidth_description = Adjusts the width of the console output to the current size of the Console view |
| |
| preferencePages_ResourceMappings_name = Remote Folders |
| preferencePages_Console_name = Console |
| preferencePages_ConsoleTextStyles_name= Console Output Highlighting |