git.gag.com Git - fw/altos/blob - altosui/AltosFrame.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 AltosUI;
  19
  20 import java.awt.*;
  21 import java.awt.event.*;
  22 import javax.swing.*;
  23 import javax.swing.filechooser.FileNameExtensionFilter;
  24 import javax.swing.table.*;
  25 import java.io.*;
  26 import java.util.*;
  27 import java.text.*;
  28 import java.util.prefs.*;
  29 import java.util.concurrent.*;
  30 import org.altusmetrum.AltosLib.*;
  31
  32 import libaltosJNI.*;
  33
  34 class AltosFrameListener extends WindowAdapter {
  35         public void windowClosing (WindowEvent e) {
  36                 AltosUIPreferences.unregister_ui_listener((AltosFrame) e.getWindow());
  37         }
  38 }
  39
  40 public class AltosFrame extends JFrame implements AltosUIListener {
  41
  42         public void ui_changed(String look_and_feel) {
  43                 SwingUtilities.updateComponentTreeUI(this);
  44                 this.pack();
  45         }
  46
  47         public AltosFrame() {
  48                 AltosUIPreferences.register_ui_listener(this);
  49                 addWindowListener(new AltosFrameListener());
  50         }
  51
  52         public AltosFrame(String name) {
  53                 super(name);
  54                 AltosUIPreferences.register_ui_listener(this);
  55                 addWindowListener(new AltosFrameListener());
  56         }
  57 }