Beispiel #1
0
  public void reload() throws Exception {
    if (saved) {
      long a = file.lastModified();
      if (a > file_lastModified) {
        sem.fireEvent("stop", null, null);

        text.setText(U.slurp(file));
        saved = true;

        sem.pushEvent("updateTitle", this, null);
        file_lastModified = a;
      }
    }
  }
Beispiel #2
0
 public void onChange() {
   saved = false;
   sem.fireEvent("stop", null, null);
   sem.pushEvent("updateTitle", this, null);
 }