1 11 package org.eclipse.jdt.internal.ui.propertiesfileeditor; 12 13 21 public interface IPropertiesFilePartitions { 22 23 27 String PROPERTIES_FILE_PARTITIONING= "___pf_partitioning"; 29 33 String COMMENT= "__pf_comment"; 35 42 String PROPERTY_VALUE= "__pf_roperty_value"; 44 48 String [] PARTITIONS= new String [] { COMMENT, PROPERTY_VALUE }; 49 50 } 51 | Popular Tags |