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: zHeuristics.hpp   Sprache: Unknown

Untersuchungsergebnis.bsh Download desPVS {PVS[88] CS[112] C[116]}zum Wurzelverzeichnis wechseln

/**
 * Convert the portion of the current word to lower case, starting at the
 * caret and moving to the end of the word. Emulates the Emacs "downcase-word"
 * function.
 */


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

void emacsDowncaseWord()
{
    caret = eatNonAlphanums();

    textArea.goToNextWord (false);
    endOfWord = textArea.getCaretPosition();

    textArea.setCaretPosition (caret);
    selection = new Selection.Range (caret, endOfWord);
    textArea.setSelection (selection);
    textArea.toLowerCase();
}

emacsDowncaseWord();


[ zur Elbe Produktseite wechseln0.69Quellennavigators  ]