Source Code Cross Referenced for ChangedFilesSaveListener.java in  » IDE » tIDE » tide » editor » Java Source Code / Java DocumentationJava Source Code and Java Documentation

01:        package tide.editor;
02:
03:        import java.util.Set;
04:        import tide.sources.SourceFile;
05:
06:        /** To listen to saved (changed) files. May be used by tools that want to run after each save.
07:         */
08:        public interface ChangedFilesSaveListener {
09:            public void filesSaved(Set<SourceFile> sources);
10:
11:        }