blob: 79442455286e14152db9eafa69c477ca5e8d6982 [file] [log] [blame]
# Copyright (c) 2005, 2022 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
#, or the Apache License, Version 2.0
# which is available at
# SPDX-License-Identifier: EPL-2.0 OR Apache-2.0
# Contributors:
# Stephan Wahlbrink <> - 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