public interface EditorTextoIF {
 public final static String LOAD = "LOAD";
 public final static String SAVE = "SAVE";
 public final static String CUT = "CUT";
 public final static String COPY = "COPY";
 public final static String PASTE = "PASTE";
 public final static String SELECTALL = "SELECTALL";
 public void init();
 public void loadFile();
 public void saveFile();
 public void copy();
 public void cut();
 public void paste();
 public FunctorEditorTextoIF getFunctorEditorTexto(String nombre);
 public void setFunctorEditorTexto(
   String nombre,FunctorEditorTextoIF fn);
}