1/* 2 * Copyright (c) 2011, 2012, Oracle and/or its affiliates. All rights reserved. 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 4 * 5 * This code is free software; you can redistribute it and/or modify it 6 * under the terms of the GNU General Public License version 2 only, as 7 * published by the Free Software Foundation. Oracle designates this 8 * particular file as subject to the "Classpath" exception as provided 9 * by Oracle in the LICENSE file that accompanied this code. 10 * 11 * This code is distributed in the hope that it will be useful, but WITHOUT 12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 14 * version 2 for more details (a copy is included in the LICENSE file that 15 * accompanied this code). 16 * 17 * You should have received a copy of the GNU General Public License version 18 * 2 along with this work; if not, write to the Free Software Foundation, 19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 20 * 21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 22 * or visit www.oracle.com if you need additional information or have any 23 * questions. 24 */ 25 26package com.apple.laf; 27 28import java.awt.event.*; 29import java.beans.*; 30 31import javax.swing.JComponent; 32import javax.swing.border.Border; 33import javax.swing.plaf.ComponentUI; 34import javax.swing.plaf.basic.*; 35 36public class AquaSplitPaneUI extends BasicSplitPaneUI implements MouseListener, PropertyChangeListener { 37 static final String DIVIDER_PAINTER_KEY = "JSplitPane.dividerPainter"; 38 39 public AquaSplitPaneUI() { 40 super(); 41 } 42 43 public static ComponentUI createUI(final JComponent x) { 44 return new AquaSplitPaneUI(); 45 } 46 47 public BasicSplitPaneDivider createDefaultDivider() { 48 return new AquaSplitPaneDividerUI(this); 49 } 50 51 protected void installListeners() { 52 super.installListeners(); 53 splitPane.addPropertyChangeListener(DIVIDER_PAINTER_KEY, this); 54 divider.addMouseListener(this); 55 } 56 57 protected void uninstallListeners() { 58 divider.removeMouseListener(this); 59 splitPane.removePropertyChangeListener(DIVIDER_PAINTER_KEY, this); 60 super.uninstallListeners(); 61 } 62 63 public void mouseClicked(final MouseEvent e) { 64 if (e.getClickCount() < 2) return; 65 if (!splitPane.isOneTouchExpandable()) return; 66 67 final double resizeWeight = splitPane.getResizeWeight(); 68 final int paneWidth = splitPane.getWidth(); 69 final int divSize = splitPane.getDividerSize(); 70 final int divLocation = splitPane.getDividerLocation(); 71 final int lastDivLocation = splitPane.getLastDividerLocation(); 72 73 // if we are at the far edge 74 if (paneWidth - divSize <= divLocation + 5) { 75 splitPane.setDividerLocation(lastDivLocation); 76 return; 77 } 78 79 // if we are at the starting edge 80 if (divSize >= divLocation - 5) { 81 splitPane.setDividerLocation(lastDivLocation); 82 return; 83 } 84 85 // otherwise, jump to the most "appropriate" end 86 if (resizeWeight > 0.5) { 87 splitPane.setDividerLocation(0); 88 } else { 89 splitPane.setDividerLocation(paneWidth); 90 } 91 } 92 93 public void mouseEntered(final MouseEvent e) { } 94 public void mouseExited(final MouseEvent e) { } 95 public void mousePressed(final MouseEvent e) { } 96 public void mouseReleased(final MouseEvent e) { } 97 98 public void propertyChange(final PropertyChangeEvent evt) { 99 if (!DIVIDER_PAINTER_KEY.equals(evt.getPropertyName())) return; 100 101 final Object value = evt.getNewValue(); 102 if (value instanceof Border) { 103 divider.setBorder((Border)value); 104 } else { 105 divider.setBorder(null); 106 } 107 } 108} 109