###############################################################################
# Copyright (c) 2000, 2015 IBM Corporation and others.
# All rights reserved. This program and the accompanying materials
# are made available under the terms of the Eclipse Public License v1.0
# which accompanies this distribution, and is available at
# http://www.eclipse.org/legal/epl-v10.html
#
# Contributors:
#     IBM Corporation - initial API and implementation
#     John Kaplan, johnkaplantech@gmail.com - 108071 [code templates] template for body of newly created class
#     Sebastian Davids, sdavids@gmx.de - 187316 [preferences] Mark Occurrences Pref Page; Link to
#     Benjamin Muskalla <b.muskalla@gmx.net> - [preferences] Add preference for new compiler warning: MissingSynchronizedModifierInInheritedMethod - https://bugs.eclipse.org/bugs/show_bug.cgi?id=245240
#     Guven Demir <guven.internet+eclipse@gmail.com> - [package explorer] Alternative package name shortening: abbreviation - https://bugs.eclipse.org/bugs/show_bug.cgi?id=299514
#     Thomas Reinhardt <thomas@reinhardt.com> - [build path] user library dialog should allow to select JAR from workspace - http://bugs.eclipse.org/300542
#     Stephan Herrmann <stephan@cs.tu-berlin.de> - [compiler][null] inheritance of null annotations as an option - https://bugs.eclipse.org/388281
#     Christian Georgi<christian.georgi@sap.com> - Use OS symbol for 'Ctrl' - https://bugs.eclipse.org/462770
#     Mark Leone - Modifications for PyDev
###############################################################################

EditorUtility_concatModifierStrings= {0} + {1}

PyEditorHoverConfigurationBlock_annotationRollover=&Expand vertical ruler icons upon hovering (does not affect open editors)
PyEditorHoverConfigurationBlock_hoverPreferences=Text Hover preferences:
PyEditorHoverConfigurationBlock_keyModifier=Pressed key &modifier while hovering:
PyEditorHoverConfigurationBlock_description=Descriptio&n:
PyEditorHoverConfigurationBlock_modifierIsNotValid=Modifier ''{0}'' is not valid.
PyEditorHoverConfigurationBlock_modifierIsNotValidForHover=Modifier ''{0}'' for ''{1}'' hover is not valid.
PyEditorHoverConfigurationBlock_duplicateModifier=''{0}'' hover uses the same modifier as ''{1}'' hover.
PyEditorHoverConfigurationBlock_nameColumnTitle=Text Hover Name
PyEditorHoverConfigurationBlock_modifierColumnTitle=Pressed Key Modifier While Hovering
PyEditorHoverConfigurationBlock_priorityColumnTitle=Hover Priority
PyEditorHoverConfigurationBlock_preemptColumnTitle=Preempt
PyEditorHoverConfigurationBlock_delimiter=+
PyEditorHoverConfigurationBlock_insertDelimiterAndModifierAndDelimiter=\ + {0} + 
PyEditorHoverConfigurationBlock_insertModifierAndDelimiter=\ {0} + 
PyEditorHoverConfigurationBlock_insertDelimiterAndModifier=\ + {0}
