Home
last modified time | relevance | path

Searched defs:JavaEditorPreferencePage_varKeyword (Results 1 – 2 of 2) sorted by relevance

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/
H A DPreferencesMessages.java150 public static String JavaEditorPreferencePage_varKeyword; field in PreferencesMessages
H A DPreferencesMessages.properties127 JavaEditorPreferencePage_varKeyword=Keyword 'var' key