/** * Returns the shared document provider for Java properties files * used by this plug-in instance. * * @return the shared document provider for Java properties files * @since 3.1 */ public synchronized IDocumentProvider getPropertiesFileDocumentProvider() { if (fPropertiesFileDocumentProvider == null) fPropertiesFileDocumentProvider= new PropertiesFileDocumentProvider(); return fPropertiesFileDocumentProvider; }
/** * Returns the shared document provider for Java properties files * used by this plug-in instance. * * @return the shared document provider for Java properties files * @since 3.1 */ public synchronized IDocumentProvider getPropertiesFileDocumentProvider() { if (fPropertiesFileDocumentProvider == null) fPropertiesFileDocumentProvider= new PropertiesFileDocumentProvider(); return fPropertiesFileDocumentProvider; }
/** * Returns the shared document provider for Java properties files * used by this plug-in instance. * * @return the shared document provider for Java properties files * @since 3.1 */ public synchronized IDocumentProvider getPropertiesFileDocumentProvider() { if (fPropertiesFileDocumentProvider == null) fPropertiesFileDocumentProvider= new PropertiesFileDocumentProvider(); return fPropertiesFileDocumentProvider; }