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

Spracherkennung für: .bsh vermutete Sprache: PVS {PVS[92] Abap[109] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

/**
 * 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();

[ Dauer der Verarbeitung: 0.79 Sekunden  ]