import java.awt.event.*;
import javax.swing.*;
import javax.swing.text.html.HTMLEditorKit;

/**
  The application's Edit Menu.
  <br><br><a href="../source/EditMenu.java">View Source File</a>
*/
public class EditMenu extends JMenu {
  public static final String Undo = "edit-undo";
  public static final String Redo = "edit-redo";
  public static final String Cut = HTMLEditorKit.cutAction;
  public static final String Copy = HTMLEditorKit.copyAction;
  public static final String Paste = HTMLEditorKit.pasteAction;
  public static final String SelectAll = "edit-selectAll";
  public static final String Search = "edit-search";
  public static final String Replace = "edit-replace";
  public static final String Preferences = "edit-preferences";

  public EditMenu(Mozart mozart) {
    super("Edit");

    MozartActions actions = mozart.getActions();
    MozartUndoManager undoManager = mozart.getUndoManager();

    add(actions.getAction(Undo));
    add(actions.getAction(Redo));
    addSeparator();

    add(actions.getAction(Cut));
    add(actions.getAction(Copy));
    add(actions.getAction(Paste));
    addSeparator();
    
    //action = new HTMLEditorKit.SelectAllAction();
    addSeparator();

    add(new JMenuItem("Find"));
    add(new JMenuItem("Replace"));
    addSeparator();
    add(new JMenuItem("Preferences"));

  }
}