X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=altosuilib%2FAltosUIPreferences.java;h=c40903ced0c37c590214b11d764af264bde8714e;hb=50385fa8941b58192f8955b3873a75251cde5844;hp=a2014065d731d4f519110c982417aedaeb8f4b8e;hpb=c8dbcaf69cd538a31ab6e2b568237ae7c8656a9a;p=fw%2Faltos

diff --git a/altosuilib/AltosUIPreferences.java b/altosuilib/AltosUIPreferences.java
index a2014065..c40903ce 100644
--- a/altosuilib/AltosUIPreferences.java
+++ b/altosuilib/AltosUIPreferences.java
@@ -16,13 +16,13 @@
  * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
  */
 
-package org.altusmetrum.altosuilib_12;
+package org.altusmetrum.altosuilib_14;
 
 import java.io.*;
 import java.util.*;
 import java.awt.Component;
 import javax.swing.*;
-import org.altusmetrum.altoslib_12.*;
+import org.altusmetrum.altoslib_14.*;
 
 public class AltosUIPreferences extends AltosPreferences {
 
@@ -129,18 +129,23 @@ 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) {
+				System.out.printf("notifying %s of font size change\n", l);
 				l.font_size_changed(font_size);
+			}
+			System.out.printf("all fonts changed\n");
 		}
 	}
 
 	public static void register_font_listener(AltosFontListener l) {
+		System.out.printf("register font listener\n");
 		synchronized (backend) {
 			font_listeners.add(l);
 		}
 	}
 
 	public static void unregister_font_listener(AltosFontListener l) {
+		System.out.printf("unregister font listener\n");
 		synchronized (backend) {
 			font_listeners.remove(l);
 		}