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

Untersuchungsergebnis.bsh Download desCS {CS[41] Ada[100] Abap[132]}zum Wurzelverzeichnis wechseln

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

[ zur Elbe Produktseite wechseln0.71Quellennavigators  ]