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