projects
/
fw
/
altos
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
no longer need patch
[fw/altos]
/
altosuilib
/
AltosUIPreferences.java
diff --git
a/altosuilib/AltosUIPreferences.java
b/altosuilib/AltosUIPreferences.java
index c40903ced0c37c590214b11d764af264bde8714e..2066741bd8bfa450a617c080fc2130d0a98c45f2 100644
(file)
--- 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) {
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);
}
l.font_size_changed(font_size);
}
- System.out.printf("all fonts changed\n");
}
}
public static void register_font_listener(AltosFontListener l) {
}
}
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) {
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);
}
synchronized (backend) {
font_listeners.remove(l);
}