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

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: ArrayElement.java   Sprache: Unknown

Untersuchungsergebnis.bsh Download desFortran {Fortran[84] Ada[112] Abap[124]}zum Wurzelverzeichnis wechseln

line = textArea.getCaretLine();
if (line < textArea.getLineCount() - 1)
{
        expanded = textArea.displayManager.isLineVisible(line+1);
        if (expanded)
                textArea.collapseFold();
        else {
                pos = textArea.getCaretPosition();
                textArea.expandFold(false);
                textArea.setCaretPosition(pos);
        }
}

[ zur Elbe Produktseite wechseln0.102Quellennavigators  ]