products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/macros/Interface image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: SkipInput.txt   Sprache: Unknown

rahmenlose Ansicht.bsh DruckansichtCS {CS[41] Ada[100] Abap[132]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

/** Reset_TextArea.bsh
    A macro that performs a split and an unsplit of the current TextArea.
Useful for those occasions when your textarea is corrupt (painting the
incorrect characters on the screen).
*/

import javax.swing.Timer;
view.splitVertically();
int delay = 100; //milliseconds
ActionListener taskPerformer = new ActionListener() {
  public void actionPerformed(ActionEvent evt) {
          view.unsplitCurrent();
  }
};
t = new Timer(delay, taskPerformer);
t.setRepeats(false);
t.start();

[ Verzeichnis aufwärts0.64unsichere Verbindung  ]