git.gag.com Git - fw/altos/blob - altosuilib/AltosUIFrame.java

   1 /*
   2  * Copyright © 2011 Keith Packard <keithp@keithp.com>
   3  *
   4  * This program is free software; you can redistribute it and/or modify
   5  * it under the terms of the GNU General Public License as published by
   6  * the Free Software Foundation; version 2 of the License.
   7  *
   8  * This program is distributed in the hope that it will be useful, but
   9  * WITHOUT ANY WARRANTY; without even the implied warranty of
  10  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  11  * General Public License for more details.
  12  *
  13  * You should have received a copy of the GNU General Public License along
  14  * with this program; if not, write to the Free Software Foundation, Inc.,
  15  * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
  16  */
  17
  18 package org.altusmetrum.altosuilib_1;
  19
  20 import java.awt.*;
  21 import java.awt.event.*;
  22 import javax.swing.*;
  23 import java.util.*;
  24
  25 class AltosUIFrameListener extends WindowAdapter {
  26         public void windowClosing (WindowEvent e) {
  27                 AltosUIPreferences.unregister_ui_listener((AltosUIFrame) e.getWindow());
  28         }
  29 }
  30
  31 public class AltosUIFrame extends JFrame implements AltosUIListener, AltosPositionListener {
  32
  33         public void ui_changed(String look_and_feel) {
  34                 SwingUtilities.updateComponentTreeUI(this);
  35                 this.pack();
  36         }
  37
  38         static String[] altos_icon_names = {
  39                 "/altus-metrum-16.png",
  40                 "/altus-metrum-32.png",
  41                 "/altus-metrum-48.png",
  42                 "/altus-metrum-64.png",
  43                 "/altus-metrum-128.png",
  44                 "/altus-metrum-256.png"
  45         };
  46
  47         static public String[] icon_names;
  48
  49         static public void set_icon_names(String[] new_icon_names) { icon_names = new_icon_names; }
  50
  51         public String[] icon_names() {
  52                 if (icon_names == null)
  53                         set_icon_names(altos_icon_names);
  54                 return icon_names;
  55         }
  56
  57         public void set_icon() {
  58                 ArrayList<Image> icons = new ArrayList<Image>();
  59                 String[] icon_names = icon_names();
  60
  61                 for (int i = 0; i < icon_names.length; i++) {
  62                         java.net.URL imgURL = AltosUIFrame.class.getResource(icon_names[i]);
  63                         if (imgURL != null)
  64                                 icons.add(new ImageIcon(imgURL).getImage());
  65                 }
  66                 setIconImages(icons);
  67         }
  68
  69         private boolean location_by_platform = true;
  70
  71         public void setLocationByPlatform(boolean lbp) {
  72                 location_by_platform = lbp;
  73                 super.setLocationByPlatform(lbp);
  74         }
  75
  76         public void setSize() {
  77                 /* Smash sizes around so that the window comes up in the right shape */
  78                 Insets i = getInsets();
  79                 Dimension ps = rootPane.getPreferredSize();
  80                 ps.width += i.left + i.right;
  81                 ps.height += i.top + i.bottom;
  82                 setPreferredSize(ps);
  83                 setSize(ps);
  84         }
  85
  86         public void setPosition (int position) {
  87                 Insets i = getInsets();
  88                 Dimension ps = getSize();
  89
  90                 /* Stick the window in the desired location on the screen */
  91                 setLocationByPlatform(false);
  92                 GraphicsDevice gd = GraphicsEnvironment.getLocalGraphicsEnvironment().getDefaultScreenDevice();
  93                 GraphicsConfiguration gc = gd.getDefaultConfiguration();
  94                 Rectangle r = gc.getBounds();
  95
  96                 /* compute X position */
  97                 int x = 0;
  98                 int y = 0;
  99                 switch (position) {
 100                 case AltosUILib.position_top_left:
 101                 case AltosUILib.position_left:
 102                 case AltosUILib.position_bottom_left:
 103                         x = 0;
 104                         break;
 105                 case AltosUILib.position_top:
 106                 case AltosUILib.position_center:
 107                 case AltosUILib.position_bottom:
 108                         x = (r.width - ps.width) / 2;
 109                         break;
 110                 case AltosUILib.position_top_right:
 111                 case AltosUILib.position_right:
 112                 case AltosUILib.position_bottom_right:
 113                         x = r.width - ps.width + i.right;
 114                         break;
 115                 }
 116
 117                 /* compute Y position */
 118                 switch (position) {
 119                 case AltosUILib.position_top_left:
 120                 case AltosUILib.position_top:
 121                 case AltosUILib.position_top_right:
 122                         y = 0;
 123                         break;
 124                 case AltosUILib.position_left:
 125                 case AltosUILib.position_center:
 126                 case AltosUILib.position_right:
 127                         y = (r.height - ps.height) / 2;
 128                         break;
 129                 case AltosUILib.position_bottom_left:
 130                 case AltosUILib.position_bottom:
 131                 case AltosUILib.position_bottom_right:
 132                         y = r.height - ps.height + i.bottom;
 133                         break;
 134                 }
 135                 setLocation(x, y);
 136         }
 137
 138         int position;
 139
 140         public void position_changed(int position) {
 141                 this.position = position;
 142                 if (!location_by_platform)
 143                         setPosition(position);
 144         }
 145
 146         public void setVisible (boolean visible) {
 147                 if (visible)
 148                         setLocationByPlatform(location_by_platform);
 149                 super.setVisible(visible);
 150                 if (visible) {
 151                         setSize();
 152                         if (!location_by_platform)
 153                                 setPosition(position);
 154                 }
 155         }
 156
 157         void init() {
 158                 AltosUIPreferences.register_ui_listener(this);
 159                 AltosUIPreferences.register_position_listener(this);
 160                 position = AltosUIPreferences.position();
 161                 addWindowListener(new AltosUIFrameListener());
 162                 set_icon();
 163         }
 164
 165         public AltosUIFrame() {
 166                 init();
 167         }
 168
 169         public AltosUIFrame(String name) {
 170                 super(name);
 171                 init();
 172         }
 173 }