products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/jEdit/macros/Emacs/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: TestKit.java   Sprache: JAVA

Untersuchungsergebnis.bsh Download desPVS {PVS[92] Abap[109] [0]}zum Wurzelverzeichnis wechseln

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

[ zur Elbe Produktseite wechseln0.63Quellennavigators  ]