/** Causes either the naviview to expand/collapse */
 public void mouseClicked(MouseEvent e) {
   // If they're viewing the documentation,
   // don't allow the toggle to act:
   if (currentlyHidden) return;
   // if expanded/collapse set the necessary images and flags
   if (isExpanded()) {
     nav.setVisible(false);
     setExpanded(false);
     expandCollapseButton.setIcon(openNavArrow);
     mouseExited(e);
   } else {
     nav.setVisible(true);
     setExpanded(true);
     expandCollapseButton.setIcon(closeNavArrow);
     mouseExited(e);
   }
 }
 /**
  * Stops the effects of a temporary hide (switch back to editor view) and redisplays itself
  *
  * <p>Can be called without a previous call to beginTemporaryHide, e.g. in the case where the
  * editor is opened in documentation view
  */
 public void endTemporaryHide() {
   currentlyHidden = false;
   if (isExpanded()) {
     nav.setVisible(true);
     expandCollapseButton.setIcon(closeNavArrow);
   }
   setVisible(true);
 }
  public EditorDividerPanel(NaviView naviview, boolean expanded) {
    super();
    // display consists of a label with an image
    nav = naviview;
    this.expanded = expanded;
    openNavArrow = Config.getImageAsIcon("image.editordivider.open");
    closeNavArrow = Config.getImageAsIcon("image.editordivider.close");

    setPreferredSize(new Dimension(closeNavArrow.getIconWidth() + 2, 0));
    setMaximumSize(new Dimension(closeNavArrow.getIconWidth() + 2, Integer.MAX_VALUE));

    setLayout(new DBoxLayout(DBox.X_AXIS, 0, 0));
    expandCollapseButton = new JLabel();
    expandCollapseButton.setName(EXPAND_COLLAPSE_NAVIVIEW);
    addMouseListener(this);
    add(expandCollapseButton, BorderLayout.CENTER);
    if (isExpanded()) expandCollapseButton.setIcon(closeNavArrow);
    else {
      nav.setVisible(false);
      expandCollapseButton.setIcon(openNavArrow);
    }
  }
 /**
  * Temporarily hides the naviview (when switching to documentation view) Also temporarily hides
  * this panel
  */
 public void beginTemporaryHide() {
   currentlyHidden = true;
   nav.setVisible(false);
   expandCollapseButton.setIcon(openNavArrow);
   setVisible(false);
 }