001    package nl.cwi.sen1.gui.plugin;
002    
003    public interface EditorModifiedListener {
004        public void editorModified(EditorModifiedEvent e);
005    }