 #=============================================================================#
 # Copyright (c) 2005, 2019 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_PauseEngine_name = Pause

commands_DisconnectEngine_name = Disconnect
commands_DisconnectEngine_description = Disconnects StatET console (client) from external engine (server)
commands_ReconnectEngine_name = Reconnect
commands_ReconnectEngine_description = Reconnects StatET console (client) to external engine (server)

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