Method resourceUnloaded

src/main/java/gate/gui/CorpusEditor.java:319–325

(CreoleEvent e)

        }
      }
      @Override
      public void resourceUnloaded(CreoleEvent e) {
        if (e.getResource() instanceof Document) {
          documentsLoadedCount--;
          changeMessage();
        }
      }
      @Override
      public void datastoreOpened(CreoleEvent e) { /* do nothing */ }
      @Override