/*
* Copyright (c) 2011, 2012, Oracle and/or its affiliates. All rights reserved.
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* This code is free software; you can redistribute it and/or modify it
* under the terms of the GNU General Public License version 2 only, as
* published by the Free Software Foundation. Oracle designates this
* particular file as subject to the "Classpath" exception as provided
* by Oracle in the LICENSE file that accompanied this code.
*
* This code is distributed in the hope that it will be useful, but WITHOUT
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
* version 2 for more details (a copy is included in the LICENSE file that
* accompanied this code).
*
* You should have received a copy of the GNU General Public License version
* 2 along with this work; if not, write to the Free Software Foundation,
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
*
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
* or visit www.oracle.com if you need additional information or have any
* questions.
*/
package com.apple.laf;
import java.awt.event.*;
import java.beans.*;
import javax.swing.JComponent;
import javax.swing.border.Border;
import javax.swing.plaf.ComponentUI;
import javax.swing.plaf.basic.*;
public class AquaSplitPaneUI extends BasicSplitPaneUI implements MouseListener, PropertyChangeListener {
static final String DIVIDER_PAINTER_KEY = "JSplitPane.dividerPainter";
public AquaSplitPaneUI() {
super();
}
public static ComponentUI createUI(final JComponent x) {
return new AquaSplitPaneUI();
}
public BasicSplitPaneDivider createDefaultDivider() {
return new AquaSplitPaneDividerUI(this);
}
protected void installListeners() {
super.installListeners();
splitPane.addPropertyChangeListener(DIVIDER_PAINTER_KEY, this);
divider.addMouseListener(this);
}
protected void uninstallListeners() {
divider.removeMouseListener(this);
splitPane.removePropertyChangeListener(DIVIDER_PAINTER_KEY, this);
super.uninstallListeners();
}
public void mouseClicked(final MouseEvent e) {
if (e.getClickCount() < 2) return;
if (!splitPane.isOneTouchExpandable()) return;
final double resizeWeight = splitPane.getResizeWeight();
final int paneWidth = splitPane.getWidth();
final int divSize = splitPane.getDividerSize();
final int divLocation = splitPane.getDividerLocation();
final int lastDivLocation = splitPane.getLastDividerLocation();
// if we are at the far edge
if (paneWidth - divSize <= divLocation + 5) {
splitPane.setDividerLocation(lastDivLocation);
return;
}
// if we are at the starting edge
if (divSize >= divLocation - 5) {
splitPane.setDividerLocation(lastDivLocation);
return;
}
// otherwise, jump to the most "appropriate" end
if (resizeWeight > 0.5) {
splitPane.setDividerLocation(0);
} else {
splitPane.setDividerLocation(paneWidth);
}
}
public void mouseEntered(final MouseEvent e) { }
public void mouseExited(final MouseEvent e) { }
public void mousePressed(final MouseEvent e) { }
public void mouseReleased(final MouseEvent e) { }
public void propertyChange(final PropertyChangeEvent evt) {
if (!DIVIDER_PAINTER_KEY.equals(evt.getPropertyName())) return;
final Object value = evt.getNewValue();
if (value instanceof Border) {
divider.setBorder((Border)value);
} else {
divider.setBorder(null);
}
}
}