1. /*

  2.  * @(#)MotifInternalFrameTitlePane.java	1.26 03/07/24

  3.  *

  4.  * Copyright 2003 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.  * Class that manages a Motif title bar

  23.  * @version 1.26 07/24/03

  24.  *

  25.  * @since 1.3

  26.  */

  27. public class MotifInternalFrameTitlePane 

  28.     extends JComponent implements LayoutManager, ActionListener, PropertyChangeListener 

  29. {

  30.     SystemButton systemButton;

  31.     MinimizeButton minimizeButton;

  32.     MaximizeButton maximizeButton;

  33.     JPopupMenu systemMenu;

  34.     Title title;

  35.     JInternalFrame iFrame;

  36.     Color color;

  37.     Color highlight;

  38.     Color shadow;

  39. 

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

  41. 

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

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

  44. 

  45.     private static final String CLOSE_CMD =

  46.         UIManager.getString("InternalFrameTitlePane.closeButtonText");

  47.     private static final String ICONIFY_CMD =

  48.         UIManager.getString("InternalFrameTitlePane.minimizeButtonText");

  49.     private static final String RESTORE_CMD =

  50.         UIManager.getString("InternalFrameTitlePane.restoreButtonText");

  51.     private static final String MAXIMIZE_CMD =

  52.         UIManager.getString("InternalFrameTitlePane.maximizeButtonText");

  53.     private static final String MOVE_CMD =

  54.         UIManager.getString("InternalFrameTitlePane.moveButtonText");

  55.     private static final String SIZE_CMD =

  56.         UIManager.getString("InternalFrameTitlePane.sizeButtonText");

  57. 

  58.     final int RESTORE_MENU_ITEM = 0;

  59.     final int MOVE_MENU_ITEM = 1;

  60.     final int SIZE_MENU_ITEM = 2;

  61.     final int MINIMIZE_MENU_ITEM = 3;

  62.     final int MAXIMIZE_MENU_ITEM = 4;

  63.     final int SEPARATOR_MENU_ITEM = 5;

  64.     final int CLOSE_MENU_ITEM = 6;

  65. 	

  66.     public MotifInternalFrameTitlePane(JInternalFrame f) {

  67. 	iFrame = f;

  68. 	

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

  70. 

  71. 	systemMenu = new JPopupMenu() {

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

  73.                 if(!iFrame.isIconifiable())

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

  75.                 if(!iFrame.isMaximizable()) 

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

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

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

  79.                 if(!iFrame.isClosable())	

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

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

  82.             }

  83.         };

  84. 	

  85. 	JMenuItem mi = (JMenuItem) systemMenu.add(new JMenuItem(RESTORE_CMD));

  86. 	mi.setEnabled(iFrame.isIcon());

  87. 	mi.addActionListener(this);

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

  89. 	mi = (JMenuItem) systemMenu.add(new JMenuItem(MOVE_CMD));

  90. 	mi.setEnabled(false);

  91. 	mi.addActionListener(this);

  92. 	mi = (JMenuItem) systemMenu.add(new JMenuItem(SIZE_CMD));

  93. 	mi.setEnabled(false);

  94. 	mi.addActionListener(this);

  95. 	mi = (JMenuItem) systemMenu.add(new JMenuItem(ICONIFY_CMD));

  96. 	mi.setEnabled(!iFrame.isIcon());

  97. 	mi.addActionListener(this);

  98. 	mi = (JMenuItem) systemMenu.add(new JMenuItem(MAXIMIZE_CMD));

  99. 	mi.addActionListener(this);

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

  101. 	mi = (JMenuItem) systemMenu.add(new JMenuItem(CLOSE_CMD));

  102. 	mi.addActionListener(this); 

  103. 	

  104.         systemButton = new SystemButton();

  105. 	systemButton.addActionListener(new ActionListener() {

  106.             public void actionPerformed(ActionEvent e) {

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

  108.             }

  109.         });

  110.         systemButton.addMouseListener(new MouseAdapter() {

  111.             public void mousePressed(MouseEvent e) {

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

  113. 					if (iFrame.isClosable()) {

  114. 						iFrame.doDefaultCloseAction();

  115. 					}

  116. 					systemMenu.setVisible(false);

  117. 				}

  118. 			}

  119. 		});

  120. 

  121. 	minimizeButton = new MinimizeButton();

  122. 	minimizeButton.addActionListener(this);

  123. 	minimizeButton.setActionCommand(ICONIFY_CMD);

  124. 

  125. 	maximizeButton = new MaximizeButton();

  126. 	maximizeButton.addActionListener(this);

  127. 	maximizeButton.setActionCommand(MAXIMIZE_CMD);

  128. 

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

  130.         title.setFont(defaultTitleFont);

  131. 

  132. 	setLayout(this);

  133. 

  134. 	add(systemButton);

  135.         add(title);

  136. 	add(minimizeButton);

  137. 	add(maximizeButton);

  138. 

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

  140. 	iFrame.addPropertyChangeListener(this);

  141.     }

  142. 

  143. 

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

  145.         color = c;

  146.         highlight = h;

  147.         shadow = s;

  148.     }

  149. 

  150.     JPopupMenu getSystemMenu() {

  151.         return systemMenu;

  152.     }

  153. 

  154.     public void actionPerformed(ActionEvent e) {

  155.         try {

  156.             if (CLOSE_CMD.equals(e.getActionCommand()) && iFrame.isClosable()) {

  157.                 iFrame.doDefaultCloseAction();

  158.             } else if (ICONIFY_CMD.equals(e.getActionCommand()) &&

  159.                     iFrame.isIconifiable()) {    //4118140

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

  161.                     iFrame.setIcon(true); 

  162.                 } else {

  163.                     iFrame.setIcon(false); 

  164.                 }

  165.             } else if (MAXIMIZE_CMD.equals(e.getActionCommand()) &&

  166.                     iFrame.isMaximizable()) {

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

  168.                     iFrame.setMaximum(true);

  169.                 } else {

  170.                     iFrame.setMaximum(false);

  171.                 }

  172.             } else if (RESTORE_CMD.equals(e.getActionCommand()) &&

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

  174.                 iFrame.setMaximum(false);

  175.             } else if (RESTORE_CMD.equals(e.getActionCommand()) &&

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

  177.                 iFrame.setIcon(false);

  178.             }

  179.         } catch (PropertyVetoException e0) { }

  180. 

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

  182.         if (systemMenu.isVisible()) {

  183.             systemMenu.setVisible(false);

  184.         }

  185.     }

  186. 

  187.     public void propertyChange(PropertyChangeEvent evt) {

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

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

  190. 	boolean value = false;

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

  192. 	    repaint();

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

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

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

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

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

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

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

  200. 	    if (f.isMaximizable())

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

  202. 	    else

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

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

  205. 	} else if( prop.equals("maximizable") ) {

  206.             if( (Boolean)evt.getNewValue() == Boolean.TRUE )

  207.                 add(maximizeButton);

  208.             else

  209.                 remove(maximizeButton);

  210.             revalidate();

  211.             repaint();

  212.         } else if( prop.equals("iconable") ) {

  213.             if( (Boolean)evt.getNewValue() == Boolean.TRUE )

  214.                 add(minimizeButton);

  215.             else

  216.                 remove(minimizeButton);

  217.             revalidate();

  218.             repaint();

  219.         } else if (prop.equals(JInternalFrame.TITLE_PROPERTY)) {

  220.             repaint();

  221.       }

  222.     }

  223. 

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

  225.     public void removeLayoutComponent(Component c) {}    

  226.     public Dimension preferredLayoutSize(Container c)  {

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

  228.     }

  229.     

  230.     public Dimension minimumLayoutSize(Container c) {

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

  232.     }

  233.     

  234.     public void layoutContainer(Container c) {

  235. 	int w = getWidth();

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

  237. 	int x = w - BUTTON_SIZE;

  238. 

  239. 	if(iFrame.isMaximizable()) {

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

  241. 	    x -= BUTTON_SIZE;

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

  243. 	    maximizeButton.getParent().remove(maximizeButton);

  244. 	}

  245.         

  246. 	if(iFrame.isIconifiable()) {

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

  248. 	    x -= BUTTON_SIZE;

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

  250. 	    minimizeButton.getParent().remove(minimizeButton);

  251. 	}

  252. 

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

  254.     }

  255. 

  256.     protected void showSystemMenu(){

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

  258.     }    

  259.    

  260.     protected void hideSystemMenu(){

  261.       systemMenu.setVisible(false);

  262.     }

  263.     

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

  265. 

  266.     private abstract class FrameButton extends JButton {

  267. 

  268.         FrameButton() {

  269.             super();

  270.             setFocusPainted(false);     

  271.             setBorderPainted(false);

  272.         }

  273. 

  274.         public boolean isFocusTraversable() { 

  275.             return false; 

  276.         }

  277. 

  278.         public void requestFocus() {

  279.             // ignore request.

  280.         }

  281. 

  282.         public Dimension getMinimumSize() {

  283.             return buttonDimension;

  284.         }

  285. 

  286.         public Dimension getPreferredSize() {

  287.             return buttonDimension;

  288.         }

  289. 

  290.         public void paint(Graphics g) {

  291.             Dimension d = getSize();

  292.             int maxX = d.width - 1;

  293.             int maxY = d.height - 1;

  294. 

  295.             // draw background

  296.             g.setColor(color);

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

  298. 

  299.             // draw border

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

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

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

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

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

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

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

  307.         }

  308.     }

  309.     

  310.     private class MinimizeButton extends FrameButton {

  311.         public void paint(Graphics g) {

  312.             super.paint(g); 

  313.             g.setColor(highlight);

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

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

  316.             g.setColor(shadow);

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

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

  319.         }

  320.     }

  321. 

  322.     private class MaximizeButton extends FrameButton {

  323.         public void paint(Graphics g) {

  324.             super.paint(g); 

  325.             int max = BUTTON_SIZE - 5;

  326.             boolean isMaxed = iFrame.isMaximum();

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

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

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

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

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

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

  333.         }

  334.     }

  335. 

  336.     private class SystemButton extends FrameButton {

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

  338.         public void requestFocus() {}

  339. 

  340.         public void paint(Graphics g) {

  341.             super.paint(g);

  342.             g.setColor(highlight);

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

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

  345.             g.setColor(shadow);

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

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

  348.         }

  349.     }

  350. 

  351.     private class Title extends FrameButton {

  352.         Title(String title) {

  353.             super();

  354.             setText(title);

  355.             setHorizontalAlignment(SwingConstants.CENTER);

  356.             setBorder(BorderFactory.createBevelBorder(

  357.                 BevelBorder.RAISED,

  358.                 UIManager.getColor("activeCaptionBorder"),

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

  360. 

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

  362.             addMouseMotionListener(new MouseMotionListener() {

  363.                 public void mouseDragged(MouseEvent e) {

  364.                     forwardEventToParent(e);

  365.                 }

  366.                 public void mouseMoved(MouseEvent e) {

  367.                     forwardEventToParent(e);

  368.                 }

  369.             });

  370.             addMouseListener(new MouseListener() {

  371.                 public void mouseClicked(MouseEvent e) {

  372.                     forwardEventToParent(e);

  373.                 }

  374.                 public void mousePressed(MouseEvent e) {

  375.                     forwardEventToParent(e);

  376.                 }

  377.                 public void mouseReleased(MouseEvent e) {

  378.                     forwardEventToParent(e);

  379.                 }

  380.                 public void mouseEntered(MouseEvent e) {

  381.                     forwardEventToParent(e);

  382.                 }

  383.                 public void mouseExited(MouseEvent e) {

  384.                     forwardEventToParent(e);

  385.                 }

  386.             });

  387.         }

  388. 

  389.         void forwardEventToParent(MouseEvent e) {

  390.             getParent().dispatchEvent(new MouseEvent(

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

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

  393.         }

  394. 

  395.         public void paint(Graphics g) {

  396.             super.paint(g);

  397.             if (iFrame.isSelected()) {

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

  399.             } else {

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

  401.             }

  402.             Dimension d = getSize();

  403.             String frameTitle = iFrame.getTitle();

  404.             if (frameTitle != null) {

  405.                 MotifGraphicsUtils.drawStringInRect(g, frameTitle,

  406.                                                     0, 0, d.width, d.height,

  407.                                                     SwingConstants.CENTER);

  408.             }

  409.         }

  410.     }

  411. 

  412. }    /// End Title Pane Class