X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=altosuilib%2FAltosUIPreferences.java;h=841727115902280fd1a6bb3ba0ac2730102b5cb8;hb=HEAD;hp=7e3178d8dd887a926ebc28d127e084801b91d056;hpb=ec46adee44ea08120b1940ca55a5fbdf56874bb1;p=fw%2Faltos

diff --git a/altosuilib/AltosUIPreferences.java b/altosuilib/AltosUIPreferences.java
index 7e3178d8..2066741b 100644
--- a/altosuilib/AltosUIPreferences.java
+++ b/altosuilib/AltosUIPreferences.java
@@ -129,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);
+			}
 		}
 	}