1. /*

  2.  * @(#)MotifInternalFrameTitlePane.java	1.13 01/11/29

  3.  *

  4.  * Copyright 2002 Sun Microsystems, Inc. All rights reserved.

  5.  * SUN PROPRIETARY/CONFIDENTIAL. Use is subject to license terms.

  6.  */

  7. 

  8. package com.sun.java.swing.plaf.motif;

  9. 

  10. import java.awt.*;

  11. import java.awt.event.*;

  12. import javax.swing.*;

  13. import javax.swing.border.*;

  14. import javax.swing.event.InternalFrameEvent;

  15. import java.util.EventListener;

  16. import java.beans.PropertyChangeListener;

  17. import java.beans.PropertyChangeEvent;

  18. import java.beans.VetoableChangeListener;

  19. import java.beans.PropertyVetoException;

  20. 

  21. /**

  22.  * Package private class that manages a Motif title bar

  23.  * @version 1.13 11/29/01

  24.  */

  25. class MotifInternalFrameTitlePane 

  26.     extends JComponent implements LayoutManager, ActionListener, PropertyChangeListener 

  27. {

  28.     SystemButton systemButton;

  29.     MinimizeButton minimizeButton;

  30.     MaximizeButton maximizeButton;

  31.     JPopupMenu systemMenu;

  32.     Title title;

  33.     JInternalFrame iFrame;

  34.     Color color;

  35.     Color highlight;

  36.     Color shadow;

  37. 

  38.     static final Font defaultTitleFont = new Font("SansSerif", Font.PLAIN, 12);

  39. 

  40.     // The width and height of a title pane button

  41.     public final static int BUTTON_SIZE = 19;  // 17 + 1 pixel border

  42. 

  43.     final int RESTORE_MENU_ITEM = 0;

  44.     final int MOVE_MENU_ITEM = 1;

  45.     final int SIZE_MENU_ITEM = 2;

  46.     final int MINIMIZE_MENU_ITEM = 3;

  47.     final int MAXIMIZE_MENU_ITEM = 4;

  48.     final int SEPARATOR_MENU_ITEM = 5;

  49.     final int CLOSE_MENU_ITEM = 6;

  50. 	

  51.     public MotifInternalFrameTitlePane(JInternalFrame f) {

  52. 	iFrame = f;

  53. 	

  54. 	setPreferredSize(new Dimension(100, BUTTON_SIZE));

  55. 

  56. 	systemMenu = new JPopupMenu() {

  57.             public void show(Component invoker, int x, int y) {

  58.                 if(!iFrame.isIconifiable())

  59.                     systemMenu.getComponentAtIndex(MINIMIZE_MENU_ITEM).setEnabled(false);

  60.                 if(!iFrame.isMaximizable()) 

  61.                     systemMenu.getComponentAtIndex(MAXIMIZE_MENU_ITEM).setEnabled(false);

  62.                 if(!iFrame.isMaximizable() && !iFrame.isIconifiable()) 

  63.                     systemMenu.getComponentAtIndex(RESTORE_MENU_ITEM).setEnabled(false);

  64.                 if(!iFrame.isClosable())	

  65.                     systemMenu.getComponentAtIndex(CLOSE_MENU_ITEM).setEnabled(false);

  66.                 super.show(invoker, x, y);

  67.             }

  68.         };

  69. 	

  70. 	JMenuItem mi = (JMenuItem) systemMenu.add(new JMenuItem("Restore"));

  71. 	mi.setEnabled(false);

  72. 	mi.addActionListener(this);

  73. 	/// PENDING(klobad) Move/Size actions on InternalFrame need to be determined

  74. 	mi = (JMenuItem) systemMenu.add(new JMenuItem("Move"));

  75. 	mi.setEnabled(false);

  76. 	mi.addActionListener(this);

  77. 	mi = (JMenuItem) systemMenu.add(new JMenuItem("Size"));

  78. 	mi.setEnabled(false);

  79. 	mi.addActionListener(this);

  80. 	mi = (JMenuItem) systemMenu.add(new JMenuItem("Minimize"));

  81. 	mi.addActionListener(this);

  82. 	mi = (JMenuItem) systemMenu.add(new JMenuItem("Maximize"));

  83. 	mi.addActionListener(this);

  84. 	systemMenu.add(new JSeparator());

  85. 	mi = (JMenuItem) systemMenu.add(new JMenuItem("Close"));

  86. 	mi.addActionListener(this); 

  87. 	

  88.         systemButton = new SystemButton();

  89. 	systemButton.addActionListener(new ActionListener() {

  90.             public void actionPerformed(ActionEvent e) {

  91.                 systemMenu.show(systemButton, 0, BUTTON_SIZE);

  92.             }

  93.         });

  94.         systemButton.addMouseListener(new MouseAdapter() {

  95.             public void mousePressed(MouseEvent e) {

  96. 				if ((e.getClickCount() == 2)){

  97. 					if (iFrame.isClosable()) {

  98. 						try{

  99. 							iFrame.setClosed(true);

  100. 						} catch (PropertyVetoException e0) { }

  101. 					}

  102. 					systemMenu.setVisible(false);

  103. 				}

  104. 			}

  105. 		});

  106. 

  107. 	minimizeButton = new MinimizeButton();

  108. 	minimizeButton.addActionListener(this);

  109. 	minimizeButton.setActionCommand("Iconify");

  110. 

  111. 	maximizeButton = new MaximizeButton();

  112. 	maximizeButton.addActionListener(this);

  113. 	maximizeButton.setActionCommand("Maximize");

  114. 

  115.         title = new Title(iFrame.getTitle());

  116.         title.setFont(defaultTitleFont);

  117. 

  118. 	setLayout(this);

  119. 

  120. 	add(systemButton);

  121.         add(title);

  122. 	add(minimizeButton);

  123. 	add(maximizeButton);

  124. 

  125. 	// Make sure these are ok to leave on?

  126. 	iFrame.addPropertyChangeListener(this);

  127.     }

  128. 

  129. 

  130.     void setColors(Color c, Color h, Color s) {

  131.         color = c;

  132.         highlight = h;

  133.         shadow = s;

  134.     }

  135. 

  136.     JPopupMenu getSystemMenu() {

  137.         return systemMenu;

  138.     }

  139. 

  140.     public void actionPerformed(ActionEvent e) {

  141.         try {

  142.             if ("Close".equals(e.getActionCommand()) && iFrame.isClosable()) {

  143. 	        iFrame.setClosed(true);

  144. 			// 4118140 

  145. 			}

  146. 			else if ((("Iconify".equals(e.getActionCommand())) ||

  147. 						("Minimize".equals(e.getActionCommand())))

  148. 						&& 

  149. 						iFrame.isIconifiable()) {

  150.                 if (!iFrame.isIcon()) {

  151.                     iFrame.setIcon(true); 

  152.                 } else {

  153.                     iFrame.setIcon(false); 

  154. 				}

  155. 			}

  156. 			else if ("Maximize".equals(e.getActionCommand()) && 

  157.                        iFrame.isMaximizable()) {

  158.                 if(!iFrame.isMaximum()) {

  159.                     iFrame.setMaximum(true);

  160.                 } else {

  161.                     iFrame.setMaximum(false);

  162.                 }

  163.             } else if ("Restore".equals(e.getActionCommand()) && 

  164.                        iFrame.isMaximizable() && iFrame.isMaximum()) {

  165.                 iFrame.setMaximum(false);

  166.             } else if ("Restore".equals(e.getActionCommand()) && 

  167.                        iFrame.isIconifiable() && iFrame.isIcon()) {

  168.                 iFrame.setIcon(false);

  169.             }

  170.         } catch (PropertyVetoException e0) { }

  171. 

  172.         // Dismiss popup menu if it's displayed

  173.         if (systemMenu.isVisible()) {

  174.             systemMenu.setVisible(false);

  175.         }

  176.     }

  177. 

  178.     public void propertyChange(PropertyChangeEvent evt) {

  179. 	String prop = (String)evt.getPropertyName();

  180. 	JInternalFrame f = (JInternalFrame)evt.getSource();

  181. 	boolean value = false;

  182. 	if(JInternalFrame.IS_SELECTED_PROPERTY.equals(prop)) {

  183. 	    repaint();

  184. 	} else if(JInternalFrame.IS_MAXIMUM_PROPERTY.equals(prop)) {

  185. 	    value = ((Boolean)evt.getNewValue()).booleanValue();

  186. 	    systemMenu.getComponentAtIndex(RESTORE_MENU_ITEM).setEnabled(value); 

  187. 	    systemMenu.getComponentAtIndex(MAXIMIZE_MENU_ITEM).setEnabled(!value); 

  188. 	} else if(JInternalFrame.IS_ICON_PROPERTY.equals(prop)) {

  189. 	    value = ((Boolean)evt.getNewValue()).booleanValue();

  190. 	    systemMenu.getComponentAtIndex(RESTORE_MENU_ITEM).setEnabled(value); 

  191. 	    systemMenu.getComponentAtIndex(MAXIMIZE_MENU_ITEM).setEnabled(!value); 

  192. 	    systemMenu.getComponentAtIndex(MINIMIZE_MENU_ITEM).setEnabled(!value); 

  193. 	} 

  194.     }

  195. 

  196.     public void addLayoutComponent(String name, Component c) {}

  197.     public void removeLayoutComponent(Component c) {}    

  198.     public Dimension preferredLayoutSize(Container c)  {

  199. 	return new Dimension(c.getSize().width, BUTTON_SIZE);

  200.     }

  201.     

  202.     public Dimension minimumLayoutSize(Container c) {

  203. 	return new Dimension(c.getSize().width, BUTTON_SIZE);

  204.     }

  205.     

  206.     public void layoutContainer(Container c) {

  207. 	int w = getWidth();

  208. 	systemButton.setBounds(0, 0, BUTTON_SIZE, BUTTON_SIZE);

  209. 	int x = w - BUTTON_SIZE;

  210. 

  211. 	if(iFrame.isMaximizable()) {

  212. 	    maximizeButton.setBounds(x, 0, BUTTON_SIZE, BUTTON_SIZE);

  213. 	    x -= BUTTON_SIZE;

  214. 	} else if(maximizeButton.getParent() != null) {

  215. 	    maximizeButton.getParent().remove(maximizeButton);

  216. 	}

  217.         

  218. 	if(iFrame.isIconifiable()) {

  219. 	    minimizeButton.setBounds(x, 0, BUTTON_SIZE, BUTTON_SIZE);

  220. 	    x -= BUTTON_SIZE;

  221. 	} else if(minimizeButton.getParent() != null) {

  222. 	    minimizeButton.getParent().remove(minimizeButton);

  223. 	}

  224. 

  225.         title.setBounds(BUTTON_SIZE, 0, x, BUTTON_SIZE);

  226.     }

  227. 

  228.     protected void showSystemMenu(){

  229.       systemMenu.show(systemButton, 0, BUTTON_SIZE);

  230.     }    

  231.    

  232.     protected void hideSystemMenu(){

  233.       systemMenu.setVisible(false);

  234.     }

  235.     

  236.     static Dimension buttonDimension = new Dimension(BUTTON_SIZE, BUTTON_SIZE);

  237. 

  238.     private abstract class FrameButton extends JButton {

  239. 

  240.         FrameButton() {

  241.             super();

  242.             setFocusPainted(false);     

  243.             setBorderPainted(false);

  244.         }

  245. 

  246.         public boolean isFocusTraversable() { 

  247.             return false; 

  248.         }

  249. 

  250.         public void requestFocus() {

  251.             // ignore request.

  252.         }

  253. 

  254.         public Dimension getMinimumSize() {

  255.             return buttonDimension;

  256.         }

  257. 

  258.         public Dimension getPreferredSize() {

  259.             return buttonDimension;

  260.         }

  261. 

  262.         public void paint(Graphics g) {

  263.             Dimension d = getSize();

  264.             int maxX = d.width - 1;

  265.             int maxY = d.height - 1;

  266. 

  267.             // draw background

  268.             g.setColor(color);

  269.             g.fillRect(1, 1, d.width, d.height);

  270. 

  271.             // draw border

  272.             boolean pressed = getModel().isPressed();

  273.             g.setColor(pressed ? shadow : highlight);

  274.             g.drawLine(0, 0, maxX, 0);

  275.             g.drawLine(0, 0, 0, maxY);

  276.             g.setColor(pressed ? highlight : shadow);

  277.             g.drawLine(1, maxY, maxX, maxY);

  278.             g.drawLine(maxX, 1, maxX, maxY);

  279.         }

  280.     }

  281.     

  282.     private class MinimizeButton extends FrameButton {

  283.         public void paint(Graphics g) {

  284.             super.paint(g); 

  285.             g.setColor(highlight);

  286.             g.drawLine(7, 8, 7, 11);

  287.             g.drawLine(7, 8, 10, 8);

  288.             g.setColor(shadow);

  289.             g.drawLine(8, 11, 10, 11);

  290.             g.drawLine(11, 9, 11, 11);

  291.         }

  292.     }

  293. 

  294.     private class MaximizeButton extends FrameButton {

  295.         public void paint(Graphics g) {

  296.             super.paint(g); 

  297.             int max = BUTTON_SIZE - 5;

  298.             boolean isMaxed = iFrame.isMaximum();

  299.             g.setColor(isMaxed ? shadow : highlight);

  300.             g.drawLine(4, 4, 4, max);

  301.             g.drawLine(4, 4, max, 4);

  302.             g.setColor(isMaxed ? highlight : shadow);

  303.             g.drawLine(5, max, max, max);

  304.             g.drawLine(max, 5, max, max);

  305.         }

  306.     }

  307. 

  308.     private class SystemButton extends FrameButton {

  309.         public boolean isFocusTraversable() { return false; }

  310.         public void requestFocus() {}

  311. 

  312.         public void paint(Graphics g) {

  313.             super.paint(g);

  314.             g.setColor(highlight);

  315.             g.drawLine(4, 8, 4, 11);

  316.             g.drawLine(4, 8, BUTTON_SIZE - 5, 8);

  317.             g.setColor(shadow);

  318.             g.drawLine(5, 11, BUTTON_SIZE - 5, 11);

  319.             g.drawLine(BUTTON_SIZE - 5, 9, BUTTON_SIZE - 5, 11);

  320.         }

  321.     }

  322. 

  323.     private class Title extends FrameButton {

  324.         Title(String title) {

  325.             super();

  326.             setText(title);

  327.             setHorizontalAlignment(SwingConstants.CENTER);

  328.             setBorder(BorderFactory.createBevelBorder(

  329.                 BevelBorder.RAISED,

  330.                 UIManager.getColor("activeCaptionBorder"),

  331.                 UIManager.getColor("inactiveCaptionBorder")));

  332. 

  333.             // Forward mouse events to titlebar for moves.

  334.             addMouseMotionListener(new MouseMotionListener() {

  335.                 public void mouseDragged(MouseEvent e) {

  336.                     forwardEventToParent(e);

  337.                 }

  338.                 public void mouseMoved(MouseEvent e) {

  339.                     forwardEventToParent(e);

  340.                 }

  341.             });

  342.             addMouseListener(new MouseListener() {

  343.                 public void mouseClicked(MouseEvent e) {

  344.                     forwardEventToParent(e);

  345.                 }

  346.                 public void mousePressed(MouseEvent e) {

  347.                     forwardEventToParent(e);

  348.                 }

  349.                 public void mouseReleased(MouseEvent e) {

  350.                     forwardEventToParent(e);

  351.                 }

  352.                 public void mouseEntered(MouseEvent e) {

  353.                     forwardEventToParent(e);

  354.                 }

  355.                 public void mouseExited(MouseEvent e) {

  356.                     forwardEventToParent(e);

  357.                 }

  358.             });

  359.         }

  360. 

  361.         void forwardEventToParent(MouseEvent e) {

  362.             getParent().dispatchEvent(new MouseEvent(

  363.                 getParent(), e.getID(), e.getWhen(), e.getModifiers(),

  364.                 e.getX(), e.getY(), e.getClickCount(), e.isPopupTrigger()));

  365.         }

  366. 

  367.         public void paint(Graphics g) {

  368.             super.paint(g);

  369.             if (iFrame.isSelected()) {

  370.                 g.setColor(UIManager.getColor("activeCaptionText"));

  371.             } else {

  372.                 g.setColor(UIManager.getColor("inactiveCaptionText"));

  373.             }

  374.             Dimension d = getSize();

  375.             MotifGraphicsUtils.drawStringInRect(g, iFrame.getTitle(),

  376.                                                 0, 0, d.width, d.height,

  377.                                                 SwingConstants.CENTER);

  378.         }

  379.     }

  380. 

  381. }    /// End Title Pane Class