products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/macros/Misc image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei:   Sprache: Unknown

Columbo aufrufen.bsh zum Wurzelverzeichnis wechselnHaskell {Haskell[161] BAT[401] Ada[443]}Datei anzeigen

import org.gjt.sp.jedit.io.EncodingServer;

/** Generates 'encodingsList.html' page for jedit.org containing the encodings list. */ 

nameSet = EncodingServer.getAvailableNames();
sbuffer = new StringBuffer();

htmlBuffer = jEdit.openFile(editPane, "encodingsList.html");

itr = nameSet.iterator();
int i=0;
sbuffer.append(" Supported jEdit Encodings \n");
sbuffer.append("\n");
sbuffer.append("

Supported jEdit Encodings: " + nameSet.size() + "

\n "
);
sbuffer.append("\n");
while (itr.hasNext()) {
    i++;
    enc = itr.next();
    sbuffer.append("\t");
    if (i%5==0) sbuffer.append(" \n");
}
sbuffer.append("
" + enc + "
\n"
);
sbuffer.append("

Using jEdit " + jEdit.getVersion() + " on " + new Date() + " with ");
sbuffer.append(System.getProperty("java.vendor") + " Java " + System.getProperty("java.version") + " on " + System.getProperty("os.name") + " " + System.getProperty("os.version") + "\n");
sbuffer.append(" Generated from macro " + scriptPath + "

"
);

sbuffer.append("\n");

htmlBuffer.insert(0, sbuffer.toString());
// set elastic tabstops for this one. (causes bug# 3614248) 
htmlBuffer.setBooleanProperty("elasticTabstops", true);


[ Original von:0.89Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen. Man kann per Verzeichnistruktur darin navigieren. Der Code wird farblich markiert angezeigt.  ]