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
  31 import libaltosJNI.*;
  32
  33 class AltosFrameListener extends WindowAdapter {
  34         public void windowClosing (WindowEvent e) {
  35                 AltosPreferences.unregister_ui_listener((AltosFrame) e.getWindow());
  36         }
  37 }
  38
  39 public class AltosFrame extends JFrame implements AltosUIListener {
  40
  41         public void ui_changed(String look_and_feel) {
  42                 SwingUtilities.updateComponentTreeUI(this);
  43                 this.pack();
  44         }
  45
  46         public AltosFrame() {
  47                 AltosPreferences.register_ui_listener(this);
  48                 addWindowListener(new AltosFrameListener());
  49         }
  50
  51         public AltosFrame(String name) {
  52                 super(name);
  53                 AltosPreferences.register_ui_listener(this);
  54                 addWindowListener(new AltosFrameListener());
  55         }
  56 }