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 c8ae9a7d5cc8884b52d19a8af080f3db40fc5041..2066741bd8bfa450a617c080fc2130d0a98c45f2 100644
(file)
--- a/
altosuilib/AltosUIPreferences.java
+++ b/
altosuilib/AltosUIPreferences.java
@@
-16,13
+16,13
@@
* 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
*/
* 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
*/
-package org.altusmetrum.altosuilib_1
1
;
+package org.altusmetrum.altosuilib_1
4
;
import java.io.*;
import java.util.*;
import java.awt.Component;
import javax.swing.*;
import java.io.*;
import java.util.*;
import java.awt.Component;
import javax.swing.*;
-import org.altusmetrum.altoslib_1
1
.*;
+import org.altusmetrum.altoslib_1
4
.*;
public class AltosUIPreferences extends AltosPreferences {
public class AltosUIPreferences extends AltosPreferences {
@@
-129,8
+129,9
@@
public class AltosUIPreferences extends AltosPreferences {
backend.putInt(fontSizePreference, font_size);
flush_preferences();
AltosUILib.set_fonts(font_size);
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);
l.font_size_changed(font_size);
+ }
}
}
}
}