Documentinstellingen

org.eclipse.core.filebuffers.documentSetup

3.0

Dit extensiepunt wordt gebruikt om het initialisatieproces van een document voor een tekstbestandsbuffermanager aan te passen met de standaardtekstbestandsbuffermanager van deze plugin. U kunt opgeven welke deelnemer voor documentinstellingen moet worden gebruikt in het initialisatieproces voor een tekstbestandsbuffer voor een gegeven bestandsinhoudtype, bestandsextensie of bestandsnaam.

Opmerking: Deelnemers moeten van elkaars bestaan "op de hoogte zijn". Een document moet altijd zodanig worden ingesteld dat er geen conflicten ontstaan. Als een deelnemer bijvoorbeeld partitionering voor een document wil instellen, moet de API van org.eclipse.jface.text.IDocumentExtension3 worden gebruikt en moet een uniek partitionerings-ID worden ingesteld. Vanaf 3.2 wordt een waarschuwing in het logboek vastgelegd als hier geen sprake van is.

<!ELEMENT extension (participant)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT participant EMPTY>

<!ATTLIST participant

class         CDATA #REQUIRED

extensions    CDATA #IMPLIED

fileNames     CDATA #IMPLIED

contentTypeId CDATA #IMPLIED>

De specificatie van een deelnemer voor documentinstellingen. Om alle deelnemers voor een gegeven bestand te vinden, worden de kenmerken van elke deelnemerspecificatie geraadpleegd in deze volgorde: contentTypeId, fileNames, extensions. Als er meerdere deelnemers worden gevonden, wordt niet aangegeven in welke volgorde deze worden aangeroepen.



   

<extension id=

"JavaDocumentSetupParticipant"

name=

"%javaDocumentSetupParticipant"

point=

"org.eclipse.core.filebuffers.documentSetup"

>

<participant extensions=

"java"

class=

"org.eclipse.jdt.internal.ui.javaeditor.JavaDocumentSetupParticipant"

>

</participant>

</extension>

Documentinstellingendeelnemers moeten org.eclipse.core.filebuffers.IDocumentSetupParticipant implementeren.