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: Insert_Plugins_List.bsh   Sprache: Unknown

Spracherkennung für: .bsh vermutete Sprache: Haskell {Haskell[154] Ada[340] Abap[394]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]


/** Inserts a list of the currently running plugins into the current buffer. */

sbuffer = new StringBuffer();
sbuffer.append("Using jEdit " + jEdit.getVersion() + " on " + new Date() + "\n");
sbuffer.append("Currently running plugins: \n\n");

pluginJARs = jEdit.getPluginJARs();
int numJars = pluginJARs.length;
for (int i=0; i<numJars; ++i) {
    jar = pluginJARs[i];
    plugin = jar.getPlugin();
    if (plugin == null) continue;
    className = plugin.getClass().getName();
    String label = jEdit.getProperty("plugin." + className + ".name");
    if (label == null) continue;
    String version = jEdit.getProperty("plugin." + className + ".version");
    sbuffer.append(" " + label + " " + version + " (" + className + ")" +  "\n");
}
sbuffer.append("\n\n Using macro " + scriptPath + "\n");
buffer.insert(textArea.getCaretPosition(), sbuffer.toString());

[ Dauer der Verarbeitung: 0.71 Sekunden  ]