products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/macros/Emacs 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 wechselnPVS {PVS[92] Abap[109] [0]}Datei anzeigen

/**
 * Insert a newline after the caret, without moving the caret. This macro
 * corresponds to the Emacs (open-line) capability.
 */

source (MiscUtilities.constructPath(dirname(scriptPath), "EmacsUtil.bsh"));

void emacsOpenLine()
{
    caret = textArea.getCaretPosition();
    buffer.insert (caret, "\n");
    // Caret moved. Back it up.
    textArea.goToPrevLine (false);
    textArea.goToEndOfLine (false);
}

emacsOpenLine();



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