Codifiche

org.eclipse.ui.encodings

3.1

Un elenco di codifiche che verrā reso disponibile all'utente per la selezione della codifica file. Questo elenco corrisponde ai valori di Charset#getName() per una serie di charset. Quelli specificati ma non disponibili saranno indicati come tali nel workbench, e non saranno selezionabili dall'utente.

<!ELEMENT extension (encoding*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT encoding EMPTY>

<!ATTLIST encoding

name  CDATA #REQUIRED>


[Immettere in questo spazio un esempio di utilizzo del punto di estensione.]

[Immettere in questo spazio le informazioni API].

[Immettere informazioni sull'implementazione fornita di questo punto di estensione].