1. /*

  2.  * @(#)MotifInternalFrameTitlePane.java	1.18 00/02/02

  3.  *

  4.  * Copyright 1997-2000 Sun Microsystems, Inc. All Rights Reserved.

  5.  * 

  6.  * This software is the proprietary information of Sun Microsystems, Inc.  

  7.  * Use is subject to license terms.

  8.  * 

  9.  */

  10. 

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

  12. 

  13. import java.awt.*;

  14. import java.awt.event.*;

  15. import javax.swing.*;

  16. import javax.swing.border.*;

  17. import javax.swing.event.InternalFrameEvent;

  18. import java.util.EventListener;

  19. import java.beans.PropertyChangeListener;

  20. import java.beans.PropertyChangeEvent;

  21. import java.beans.VetoableChangeListener;

  22. import java.beans.PropertyVetoException;

  23. 

  24. /**

  25.  * Class that manages a Motif title bar

  26.  * @version 1.18 02/02/00

  27.  *

  28.  * @since 1.3

  29.  */

  30. public class MotifInternalFrameTitlePane 

  31.     extends JComponent implements LayoutManager, ActionListener, PropertyChangeListener 

  32. {

  33.     SystemButton systemButton;

  34.     MinimizeButton minimizeButton;

  35.     MaximizeButton maximizeButton;

  36.     JPopupMenu systemMenu;

  37.     Title title;

  38.     JInternalFrame iFrame;

  39.     Color color;

  40.     Color highlight;

  41.     Color shadow;

  42. 

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

  44. 

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

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

  47. 

  48.     final int RESTORE_MENU_ITEM = 0;

  49.     final int MOVE_MENU_ITEM = 1;

  50.     final int SIZE_MENU_ITEM = 2;

  51.     final int MINIMIZE_MENU_ITEM = 3;

  52.     final int MAXIMIZE_MENU_ITEM = 4;

  53.     final int SEPARATOR_MENU_ITEM = 5;

  54.     final int CLOSE_MENU_ITEM = 6;

  55. 	

  56.     public MotifInternalFrameTitlePane(JInternalFrame f) {

  57. 	iFrame = f;

  58. 	

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

  60. 

  61. 	systemMenu = new JPopupMenu() {

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

  63.                 if(!iFrame.isIconifiable())

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

  65.                 if(!iFrame.isMaximizable()) 

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

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

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

  69.                 if(!iFrame.isClosable())	

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

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

  72.             }

  73.         };

  74. 	

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

  76. 	mi.setEnabled(false);

  77. 	mi.addActionListener(this);

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

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

  80. 	mi.setEnabled(false);

  81. 	mi.addActionListener(this);

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

  83. 	mi.setEnabled(false);

  84. 	mi.addActionListener(this);

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

  86. 	mi.addActionListener(this);

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

  88. 	mi.addActionListener(this);

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

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

  91. 	mi.addActionListener(this); 

  92. 	

  93.         systemButton = new SystemButton();

  94. 	systemButton.addActionListener(new ActionListener() {

  95.             public void actionPerformed(ActionEvent e) {

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

  97.             }

  98.         });

  99.         systemButton.addMouseListener(new MouseAdapter() {

  100.             public void mousePressed(MouseEvent e) {

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

  102. 					if (iFrame.isClosable()) {

  103. 						try{

  104. 							iFrame.setClosed(true);

  105. 						} catch (PropertyVetoException e0) { }

  106. 					}

  107. 					systemMenu.setVisible(false);

  108. 				}

  109. 			}

  110. 		});

  111. 

  112. 	minimizeButton = new MinimizeButton();

  113. 	minimizeButton.addActionListener(this);

  114. 	minimizeButton.setActionCommand("Iconify");

  115. 

  116. 	maximizeButton = new MaximizeButton();

  117. 	maximizeButton.addActionListener(this);

  118. 	maximizeButton.setActionCommand("Maximize");

  119. 

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

  121.         title.setFont(defaultTitleFont);

  122. 

  123. 	setLayout(this);

  124. 

  125. 	add(systemButton);

  126.         add(title);

  127. 	add(minimizeButton);

  128. 	add(maximizeButton);

  129. 

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

  131. 	iFrame.addPropertyChangeListener(this);

  132.     }

  133. 

  134. 

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

  136.         color = c;

  137.         highlight = h;

  138.         shadow = s;

  139.     }

  140. 

  141.     JPopupMenu getSystemMenu() {

  142.         return systemMenu;

  143.     }

  144. 

  145.     public void actionPerformed(ActionEvent e) {

  146.         try {

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

  148. 	        iFrame.doDefaultCloseAction();

  149. 	    } else if ((("Iconify".equals(e.getActionCommand())) ||

  150. 		      ("Minimize".equals(e.getActionCommand()))) && 

  151. 			// 4118140 

  152. 		     iFrame.isIconifiable()) {

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

  154.                     iFrame.setIcon(true); 

  155.                 } else {

  156. 		  iFrame.setIcon(false); 

  157. 		}

  158. 	    } else if ("Maximize".equals(e.getActionCommand()) && 

  159.                        iFrame.isMaximizable()) {

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

  161.                     iFrame.setMaximum(true);

  162.                 } else {

  163.                     iFrame.setMaximum(false);

  164.                 }

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

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

  167.                 iFrame.setMaximum(false);

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

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

  170.                 iFrame.setIcon(false);

  171.             }

  172.         } catch (PropertyVetoException e0) { }

  173. 

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

  175.         if (systemMenu.isVisible()) {

  176.             systemMenu.setVisible(false);

  177.         }

  178.     }

  179. 

  180.     public void propertyChange(PropertyChangeEvent evt) {

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

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

  183. 	boolean value = false;

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

  185. 	    repaint();

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

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

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

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

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

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

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

  193. 	    if (f.isMaximizable())

  194. 	      systemMenu.getComponentAtIndex(MAXIMIZE_MENU_ITEM).setEnabled(true);

  195. 	    else

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

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

  198. 	} 

  199.     }

  200. 

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

  202.     public void removeLayoutComponent(Component c) {}    

  203.     public Dimension preferredLayoutSize(Container c)  {

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

  205.     }

  206.     

  207.     public Dimension minimumLayoutSize(Container c) {

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

  209.     }

  210.     

  211.     public void layoutContainer(Container c) {

  212. 	int w = getWidth();

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

  214. 	int x = w - BUTTON_SIZE;

  215. 

  216. 	if(iFrame.isMaximizable()) {

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

  218. 	    x -= BUTTON_SIZE;

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

  220. 	    maximizeButton.getParent().remove(maximizeButton);

  221. 	}

  222.         

  223. 	if(iFrame.isIconifiable()) {

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

  225. 	    x -= BUTTON_SIZE;

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

  227. 	    minimizeButton.getParent().remove(minimizeButton);

  228. 	}

  229. 

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

  231.     }

  232. 

  233.     protected void showSystemMenu(){

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

  235.     }    

  236.    

  237.     protected void hideSystemMenu(){

  238.       systemMenu.setVisible(false);

  239.     }

  240.     

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

  242. 

  243.     private abstract class FrameButton extends JButton {

  244. 

  245.         FrameButton() {

  246.             super();

  247.             setFocusPainted(false);     

  248.             setBorderPainted(false);

  249.         }

  250. 

  251.         public boolean isFocusTraversable() { 

  252.             return false; 

  253.         }

  254. 

  255.         public void requestFocus() {

  256.             // ignore request.

  257.         }

  258. 

  259.         public Dimension getMinimumSize() {

  260.             return buttonDimension;

  261.         }

  262. 

  263.         public Dimension getPreferredSize() {

  264.             return buttonDimension;

  265.         }

  266. 

  267.         public void paint(Graphics g) {

  268.             Dimension d = getSize();

  269.             int maxX = d.width - 1;

  270.             int maxY = d.height - 1;

  271. 

  272.             // draw background

  273.             g.setColor(color);

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

  275. 

  276.             // draw border

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

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

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

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

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

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

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

  284.         }

  285.     }

  286.     

  287.     private class MinimizeButton extends FrameButton {

  288.         public void paint(Graphics g) {

  289.             super.paint(g); 

  290.             g.setColor(highlight);

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

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

  293.             g.setColor(shadow);

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

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

  296.         }

  297.     }

  298. 

  299.     private class MaximizeButton extends FrameButton {

  300.         public void paint(Graphics g) {

  301.             super.paint(g); 

  302.             int max = BUTTON_SIZE - 5;

  303.             boolean isMaxed = iFrame.isMaximum();

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

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

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

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

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

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

  310.         }

  311.     }

  312. 

  313.     private class SystemButton extends FrameButton {

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

  315.         public void requestFocus() {}

  316. 

  317.         public void paint(Graphics g) {

  318.             super.paint(g);

  319.             g.setColor(highlight);

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

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

  322.             g.setColor(shadow);

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

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

  325.         }

  326.     }

  327. 

  328.     private class Title extends FrameButton {

  329.         Title(String title) {

  330.             super();

  331.             setText(title);

  332.             setHorizontalAlignment(SwingConstants.CENTER);

  333.             setBorder(BorderFactory.createBevelBorder(

  334.                 BevelBorder.RAISED,

  335.                 UIManager.getColor("activeCaptionBorder"),

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

  337. 

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

  339.             addMouseMotionListener(new MouseMotionListener() {

  340.                 public void mouseDragged(MouseEvent e) {

  341.                     forwardEventToParent(e);

  342.                 }

  343.                 public void mouseMoved(MouseEvent e) {

  344.                     forwardEventToParent(e);

  345.                 }

  346.             });

  347.             addMouseListener(new MouseListener() {

  348.                 public void mouseClicked(MouseEvent e) {

  349.                     forwardEventToParent(e);

  350.                 }

  351.                 public void mousePressed(MouseEvent e) {

  352.                     forwardEventToParent(e);

  353.                 }

  354.                 public void mouseReleased(MouseEvent e) {

  355.                     forwardEventToParent(e);

  356.                 }

  357.                 public void mouseEntered(MouseEvent e) {

  358.                     forwardEventToParent(e);

  359.                 }

  360.                 public void mouseExited(MouseEvent e) {

  361.                     forwardEventToParent(e);

  362.                 }

  363.             });

  364.         }

  365. 

  366.         void forwardEventToParent(MouseEvent e) {

  367.             getParent().dispatchEvent(new MouseEvent(

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

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

  370.         }

  371. 

  372.         public void paint(Graphics g) {

  373.             super.paint(g);

  374.             if (iFrame.isSelected()) {

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

  376.             } else {

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

  378.             }

  379.             Dimension d = getSize();

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

  381.                                                 0, 0, d.width, d.height,

  382.                                                 SwingConstants.CENTER);

  383.         }

  384.     }

  385. 

  386. }    /// End Title Pane Class