/**
*
*/
public void actionPerformed(ActionEvent e)
{
final mxGraphOutline outline = editor.getGraphOutline();
outline.setVisible(!outline.isVisible());
outline.revalidate();
SwingUtilities.invokeLater(new Runnable()
{
/*
* (non-Javadoc)
* @see java.lang.Runnable#run()
*/
public void run()
{
if (outline.getParent() instanceof JSplitPane)
{
if (outline.isVisible())
{
((JSplitPane) outline.getParent())
.setDividerLocation(editor
.getHeight() - 300);
((JSplitPane) outline.getParent())
.setDividerSize(6);
}
else
{
((JSplitPane) outline.getParent())
.setDividerSize(0);
}
}
}
});