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

diff --git a/altosuilib/AltosUIPreferences.java b/altosuilib/AltosUIPreferences.java
index c40903ce..2066741b 100644
--- a/altosuilib/AltosUIPreferences.java
+++ b/altosuilib/AltosUIPreferences.java
@@ -130,22 +130,18 @@ public class AltosUIPreferences extends AltosPreferences {
 			flush_preferences();
 			AltosUILib.set_fonts(font_size);
 			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);
 		}