Home
last modified time | relevance | path

Searched defs:JAVA_PARTITIONING (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/ui/text/
H A DIJavaPartitions.java26 String JAVA_PARTITIONING= "___java_partitioning"; //$NON-NLS-1$ field
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.text/org.eclipse.ui.examples.javaeditor/Eclipse Java Editor Example/org/eclipse/ui/examples/javaeditor/
H A DJavaEditorExamplePlugin.java34 public final static String JAVA_PARTITIONING= "__java_example_partitioning"; //$NON-NLS-1$ field in JavaEditorExamplePlugin