*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; version 2 of the License.
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
*
* This program is distributed in the hope that it will be useful, but
* WITHOUT ANY WARRANTY; without even the implied warranty of
* 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
*/
-package org.altusmetrum.altosuilib_9;
+package org.altusmetrum.altosuilib_14;
import java.io.*;
import java.util.*;
import java.awt.Component;
import javax.swing.*;
-import org.altusmetrum.altoslib_9.*;
+import org.altusmetrum.altoslib_14.*;
public class AltosUIPreferences extends AltosPreferences {
backend.putInt(fontSizePreference, font_size);
flush_preferences();
AltosUILib.set_fonts(font_size);
- for (AltosFontListener l : font_listeners)
+ for (AltosFontListener l : font_listeners) {
l.font_size_changed(font_size);
+ }
}
}