/** Opens a new window with a drawing view. */
protected void open(DrawingView newDrawingView) {
getVersionControlStrategy().assertCompatibleVersion();
setUndoManager(new UndoManager());
fIconkit = new Iconkit(this);
getContentPane().setLayout(new BorderLayout());
// status line must be created before a tool is set
fStatusLine = createStatusLine();
getContentPane().add(fStatusLine, BorderLayout.SOUTH);
// create dummy tool until the default tool is activated during toolDone()
setTool(new NullTool(this), "");
setView(newDrawingView);
JComponent contents = createContents(view());
contents.setAlignmentX(LEFT_ALIGNMENT);
JToolBar tools = createToolPalette();
createTools(tools);
JPanel activePanel = new JPanel();
activePanel.setAlignmentX(LEFT_ALIGNMENT);
activePanel.setAlignmentY(TOP_ALIGNMENT);
activePanel.setLayout(new BorderLayout());
activePanel.add(tools, BorderLayout.NORTH);
activePanel.add(contents, BorderLayout.CENTER);
getContentPane().add(activePanel, BorderLayout.CENTER);
JMenuBar mb = new JMenuBar();
createMenus(mb);
setJMenuBar(mb);
Dimension d = defaultSize();
if (d.width > mb.getPreferredSize().width) {
setSize(d.width, d.height);
} else {
setSize(mb.getPreferredSize().width, d.height);
}
addListeners();
setVisible(true);
fStorageFormatManager = createStorageFormatManager();
toolDone();
}
/**
* Sets the default tool of the editor.
*
* @see DrawingEditor
*/
public void toolDone() {
if (fDefaultToolButton != null) {
setTool(fDefaultToolButton.tool(), fDefaultToolButton.name());
setSelected(fDefaultToolButton);
}
}
/**
* Handles a user selection in the palette.
*
* @see PaletteListener
*/
public void paletteUserSelected(PaletteButton button) {
ToolButton toolButton = (ToolButton) button;
setTool(toolButton.tool(), toolButton.name());
setSelected(toolButton);
}
