X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=altosuilib%2FAltosUIPreferences.java;h=7a582a7d5d3d25bb84f77dd3159a1402378aaabf;hb=debian;hp=5602dc17b457b85d9f5f8dae02345694b2ffc3af;hpb=6e9bb9178356620bd47d9f2e31abf42b7f1a8f11;p=fw%2Faltos

diff --git a/altosuilib/AltosUIPreferences.java b/altosuilib/AltosUIPreferences.java
index 5602dc17..2066741b 100644
--- a/altosuilib/AltosUIPreferences.java
+++ b/altosuilib/AltosUIPreferences.java
@@ -3,7 +3,8 @@
  *
  * 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
@@ -15,13 +16,13 @@
  * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
  */
 
-package org.altusmetrum.altosuilib_8;
+package org.altusmetrum.altosuilib_14;
 
 import java.io.*;
 import java.util.*;
 import java.awt.Component;
 import javax.swing.*;
-import org.altusmetrum.altoslib_8.*;
+import org.altusmetrum.altoslib_14.*;
 
 public class AltosUIPreferences extends AltosPreferences {
 
@@ -128,8 +129,9 @@ 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);
+			}
 		}
 	}