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

Spracherkennung für: .bsh vermutete Sprache: PVS {PVS[88] CS[112] C[116]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

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

[ Dauer der Verarbeitung: 0.62 Sekunden  ]