class AltosFrameListener extends WindowAdapter {
public void windowClosing (WindowEvent e) {
- AltosPreferences.unregister_ui_listener((AltosFrame) e.getWindow());
+ AltosUIPreferences.unregister_ui_listener((AltosFrame) e.getWindow());
}
}
}
public AltosFrame() {
- AltosPreferences.register_ui_listener(this);
+ AltosUIPreferences.register_ui_listener(this);
addWindowListener(new AltosFrameListener());
}
public AltosFrame(String name) {
super(name);
- AltosPreferences.register_ui_listener(this);
+ AltosUIPreferences.register_ui_listener(this);
addWindowListener(new AltosFrameListener());
}
}