/*
* Copyright 2002-2003 Sun Microsystems, Inc. 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. Sun designates this
* particular file as subject to the "Classpath" exception as provided
* by Sun 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 Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
* CA 95054 USA or visit www.sun.com if you need additional information or
* have any questions.
*/
package javax.swing.plaf.synth;
import javax.swing.*;
import javax.swing.border.*;
import javax.swing.plaf.*;
import javax.swing.plaf.basic.BasicDesktopPaneUI;
import java.beans.*;
import java.awt.event.*;
import java.awt.Dimension;
import java.awt.Insets;
import java.awt.Graphics;
import java.awt.KeyboardFocusManager;
import java.awt.*;
import java.util.Vector;
import sun.swing.plaf.synth.SynthUI;
/**
* Synth L&F for a desktop.
*
* @author Joshua Outwater
* @author Steve Wilson
*/
class SynthDesktopPaneUI extends BasicDesktopPaneUI implements
PropertyChangeListener, SynthUI {
private SynthStyle style;
private TaskBar taskBar;
private DesktopManager oldDesktopManager;
public static ComponentUI createUI(JComponent c) {
return new SynthDesktopPaneUI();
}
protected void installListeners() {
super.installListeners();
desktop.addPropertyChangeListener(this);
if (taskBar != null) {
// Listen for desktop being resized
desktop.addComponentListener(taskBar);
// Listen for frames being added to desktop
desktop.addContainerListener(taskBar);
}
}
protected void installDefaults() {
updateStyle(desktop);
if (UIManager.getBoolean("InternalFrame.useTaskBar")) {
taskBar = new TaskBar();
for (Component comp : desktop.getComponents()) {
JInternalFrame.JDesktopIcon desktopIcon;
if (comp instanceof JInternalFrame.JDesktopIcon) {
desktopIcon = (JInternalFrame.JDesktopIcon)comp;
} else if (comp instanceof JInternalFrame) {
desktopIcon = ((JInternalFrame)comp).getDesktopIcon();
} else {
continue;
}
// Move desktopIcon from desktop to taskBar
if (desktopIcon.getParent() == desktop) {
desktop.remove(desktopIcon);
}
if (desktopIcon.getParent() != taskBar) {
taskBar.add(desktopIcon);
desktopIcon.getInternalFrame().addComponentListener(
taskBar);
}
}
taskBar.setBackground(desktop.getBackground());
desktop.add(taskBar,
new Integer(JLayeredPane.PALETTE_LAYER.intValue() + 1));
if (desktop.isShowing()) {
taskBar.adjustSize();
}
}
}
private void updateStyle(JDesktopPane c) {
SynthStyle oldStyle = style;
SynthContext context = getContext(c, ENABLED);
style = SynthLookAndFeel.updateStyle(context, this);
if (oldStyle != null) {
uninstallKeyboardActions();
installKeyboardActions();
}
context.dispose();
}
protected void uninstallListeners() {
if (taskBar != null) {
desktop.removeComponentListener(taskBar);
desktop.removeContainerListener(taskBar);
}
desktop.removePropertyChangeListener(this);
super.uninstallListeners();
}
protected void uninstallDefaults() {
SynthContext context = getContext(desktop, ENABLED);
style.uninstallDefaults(context);
context.dispose();
style = null;
if (taskBar != null) {
for (Component comp : taskBar.getComponents()) {
JInternalFrame.JDesktopIcon desktopIcon =
(JInternalFrame.JDesktopIcon)comp;
taskBar.remove(desktopIcon);
desktopIcon.setPreferredSize(null);
JInternalFrame f = desktopIcon.getInternalFrame();
if (f.isIcon()) {
desktop.add(desktopIcon);
}
f.removeComponentListener(taskBar);
}
desktop.remove(taskBar);
taskBar = null;
}
}
protected void installDesktopManager() {
if (UIManager.getBoolean("InternalFrame.useTaskBar")) {
desktopManager = oldDesktopManager = desktop.getDesktopManager();
if (!(desktopManager instanceof SynthDesktopManager)) {
desktopManager = new SynthDesktopManager();
desktop.setDesktopManager(desktopManager);
}
} else {
super.installDesktopManager();
}
}
protected void uninstallDesktopManager() {
if (oldDesktopManager != null && !(oldDesktopManager instanceof UIResource)) {
desktopManager = desktop.getDesktopManager();
if (desktopManager == null || desktopManager instanceof UIResource) {
desktop.setDesktopManager(oldDesktopManager);
}
}
oldDesktopManager = null;
super.uninstallDesktopManager();
}
static class TaskBar extends JPanel implements ComponentListener, ContainerListener {
TaskBar() {
setOpaque(true);
setLayout(new FlowLayout(FlowLayout.LEFT, 0, 0) {
public void layoutContainer(Container target) {
// First shrink buttons to fit
Component[] comps = target.getComponents();
int n = comps.length;
if (n > 0) {
// Start with the largest preferred width
int prefWidth = 0;
for (Component c : comps) {
c.setPreferredSize(null);
Dimension prefSize = c.getPreferredSize();
if (prefSize.width > prefWidth) {
prefWidth = prefSize.width;
}
}
// Shrink equally to fit if needed
Insets insets = target.getInsets();
int tw = target.getWidth() - insets.left - insets.right;
int w = Math.min(prefWidth, Math.max(10, tw/n));
for (Component c : comps) {
Dimension prefSize = c.getPreferredSize();
c.setPreferredSize(new Dimension(w, prefSize.height));
}
}
super.layoutContainer(target);
}
});
// PENDING: This should be handled by the painter
setBorder(new BevelBorder(BevelBorder.RAISED) {
protected void paintRaisedBevel(Component c, Graphics g,
int x, int y, int w, int h) {
Color oldColor = g.getColor();
g.translate(x, y);
g.setColor(getHighlightOuterColor(c));
g.drawLine(0, 0, 0, h-2);
g.drawLine(1, 0, w-2, 0);
g.setColor(getShadowOuterColor(c));
g.drawLine(0, h-1, w-1, h-1);
g.drawLine(w-1, 0, w-1, h-2);
g.translate(-x, -y);
g.setColor(oldColor);
}
});
}
void adjustSize() {
JDesktopPane desktop = (JDesktopPane)getParent();
if (desktop != null) {
int height = getPreferredSize().height;
Insets insets = getInsets();
if (height == insets.top + insets.bottom) {
if (getHeight() <= height) {
// Initial size, because we have no buttons yet
height += 21;
} else {
// We already have a good height
height = getHeight();
}
}
setBounds(0, desktop.getHeight() - height, desktop.getWidth(), height);
revalidate();
repaint();
}
}
// ComponentListener interface
public void componentResized(ComponentEvent e) {
if (e.getSource() instanceof JDesktopPane) {
adjustSize();
}
}
public void componentMoved(ComponentEvent e){}
public void componentShown(ComponentEvent e) {
if (e.getSource() instanceof JInternalFrame) {
adjustSize();
}
}
public void componentHidden(ComponentEvent e) {
if (e.getSource() instanceof JInternalFrame) {
((JInternalFrame)e.getSource()).getDesktopIcon().setVisible(false);
revalidate();
}
}
// ContainerListener interface
public void componentAdded(ContainerEvent e) {
if (e.getChild() instanceof JInternalFrame) {
JDesktopPane desktop = (JDesktopPane)e.getSource();
JInternalFrame f = (JInternalFrame)e.getChild();
JInternalFrame.JDesktopIcon desktopIcon = f.getDesktopIcon();
for (Component comp : getComponents()) {
if (comp == desktopIcon) {
// We have it already
return;
}
}
add(desktopIcon);
f.addComponentListener(this);
if (getComponentCount() == 1) {
adjustSize();
}
}
}
public void componentRemoved(ContainerEvent e) {
if (e.getChild() instanceof JInternalFrame) {
JInternalFrame f = (JInternalFrame)e.getChild();
if (!f.isIcon()) {
// Frame was removed without using setClosed(true)
remove(f.getDesktopIcon());
f.removeComponentListener(this);
revalidate();
repaint();
}
}
}
}
class SynthDesktopManager extends DefaultDesktopManager implements UIResource {
public void maximizeFrame(JInternalFrame f) {
if (f.isIcon()) {
try {
f.setIcon(false);
} catch (PropertyVetoException e2) {
}
} else {
f.setNormalBounds(f.getBounds());
Component desktop = f.getParent();
setBoundsForFrame(f, 0, 0,
desktop.getWidth(),
desktop.getHeight() - taskBar.getHeight());
}
try {
f.setSelected(true);
} catch (PropertyVetoException e2) {
}
}
public void iconifyFrame(JInternalFrame f) {
JInternalFrame.JDesktopIcon desktopIcon;
Container c = f.getParent();
JDesktopPane d = f.getDesktopPane();
boolean findNext = f.isSelected();
if (c == null) {
return;
}
desktopIcon = f.getDesktopIcon();
if (!f.isMaximum()) {
f.setNormalBounds(f.getBounds());
}
c.remove(f);
c.repaint(f.getX(), f.getY(), f.getWidth(), f.getHeight());
try {
f.setSelected(false);
} catch (PropertyVetoException e2) {
}
// Get topmost of the remaining frames
if (findNext) {
for (Component comp : c.getComponents()) {
if (comp instanceof JInternalFrame) {
try {
((JInternalFrame)comp).setSelected(true);
} catch (PropertyVetoException e2) {
}
((JInternalFrame)comp).moveToFront();
return;
}
}
}
}
public void deiconifyFrame(JInternalFrame f) {
JInternalFrame.JDesktopIcon desktopIcon = f.getDesktopIcon();
Container c = desktopIcon.getParent();
if (c != null) {
c = c.getParent();
if (c != null) {
c.add(f);
if (f.isMaximum()) {
int w = c.getWidth();
int h = c.getHeight() - taskBar.getHeight();
if (f.getWidth() != w || f.getHeight() != h) {
setBoundsForFrame(f, 0, 0, w, h);
}
}
if (f.isSelected()) {
f.moveToFront();
} else {
try {
f.setSelected(true);
} catch (PropertyVetoException e2) {
}
}
}
}
}
protected void removeIconFor(JInternalFrame f) {
super.removeIconFor(f);
taskBar.validate();
}
public void setBoundsForFrame(JComponent f, int newX, int newY, int newWidth, int newHeight) {
super.setBoundsForFrame(f, newX, newY, newWidth, newHeight);
if (taskBar != null && newY >= taskBar.getY()) {
f.setLocation(f.getX(), taskBar.getY()-f.getInsets().top);
}
}
}
public SynthContext getContext(JComponent c) {
return getContext(c, getComponentState(c));
}
private SynthContext getContext(JComponent c, int state) {
return SynthContext.getContext(SynthContext.class, c,
SynthLookAndFeel.getRegion(c), style, state);
}
private Region getRegion(JComponent c) {
return SynthLookAndFeel.getRegion(c);
}
private int getComponentState(JComponent c) {
return SynthLookAndFeel.getComponentState(c);
}
public void update(Graphics g, JComponent c) {
SynthContext context = getContext(c);
SynthLookAndFeel.update(context, g);
context.getPainter().paintDesktopPaneBackground(context, g, 0, 0,
c.getWidth(), c.getHeight());
paint(context, g);
context.dispose();
}
public void paint(Graphics g, JComponent c) {
SynthContext context = getContext(c);
paint(context, g);
context.dispose();
}
protected void paint(SynthContext context, Graphics g) {
}
public void paintBorder(SynthContext context, Graphics g, int x,
int y, int w, int h) {
context.getPainter().paintDesktopPaneBorder(context, g, x, y, w, h);
}
public void propertyChange(PropertyChangeEvent evt) {
if (SynthLookAndFeel.shouldUpdateStyle(evt)) {
updateStyle((JDesktopPane)evt.getSource());
}
if (evt.getPropertyName() == "ancestor" && taskBar != null) {
taskBar.adjustSize();
}
}
}