package jdraw.framework;

/**
 * The interface DrawEditor defines the interface for accessing the
 * object which contains the draw view. 
 *
 * @see DrawView
 *
 * @author  Dominik Gruntz
 * @version 2.0, 26.04.01
 */
public interface DrawEditor {

    /**
     * Returns the editor's drawing view.
	 * @return the drawing view displayed in this editor
     */
 	public DrawView getView();
	
	/**
	 * Shows a status message in the editor's user interface
	 * @param msg the status message to be displayed
	 */
	void showStatus(String msg);

	/**
	 * Adds a menu in the edotor' user interface
	 * @param menu the menu to be added
	 */
	public void addMenu(javax.swing.JMenu menu);

	/**
	 * Removes a menu in the edotor' user interface
	 * @param menu the menu to be removed
	 */
	public void removeMenu(javax.swing.JMenu menu);
	
	/**
	 * Informs the draw editor that the tool has changed
	 */
	public void toolChanged();
}