IDocumentListener.java

   1 package org.simantics.document.server.io;
   2
   3 public interface IDocumentListener {
   4         public void updateDocument(int revision);
   5         public boolean isDisposed();
   6         public void dispose();
   7 }