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: TestDescription.java   Sprache: Unknown

Spracherkennung für: .bsh vermutete Sprache: Fortran {Fortran[84] Ada[112] Abap[124]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

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);
        }
}

[ Dauer der Verarbeitung: 0.77 Sekunden  ]