micropeak: Track font changes in raw data display

Signed-off-by: Keith Packard <keithp@keithp.com>

diff --git a/micropeak/MicroPeak.java b/micropeak/MicroPeak.java
index 607bf20c678607f2f5621a230338ea5c000ed04d..749d0f64b8f18fbc76698d50dba7e68c97648d0d 100644 (file)
--- a/micropeak/MicroPeak.java
+++ b/micropeak/MicroPeak.java
@@ -262,6 +262,7 @@ public class MicroPeak extends MicroFrame implements ActionListener, ItemListene
                        @Override
                        public void windowClosing(WindowEvent e) {
                                statsTable.tell_closing();
+                               raw.tell_closing();
                                Close();
                        }
                });

diff --git a/micropeak/MicroRaw.java b/micropeak/MicroRaw.java
index d1d5d07682a1bc4c1bff1c25e4970adf6c8bec56..7a60499e1859d4475e04fbea893bf14b948cb2ea 100644 (file)
--- a/micropeak/MicroRaw.java
+++ b/micropeak/MicroRaw.java
@@ -24,7 +24,11 @@ import javax.swing.*;
 import org.altusmetrum.altoslib_12.*;
 import org.altusmetrum.altosuilib_12.*;
 
-public class MicroRaw extends JTextArea {
+public class MicroRaw extends JTextArea implements AltosFontListener {
+
+       public void font_size_changed(int font_size) {
+               setFont(AltosUILib.table_value_font);
+       }
 
        public void setData(MicroData data) {
                StringWriter    sw = new StringWriter();
@@ -38,9 +42,14 @@ public class MicroRaw extends JTextArea {
                setCaretPosition(0);
        }
 
+       public void tell_closing() {
+               AltosUIPreferences.unregister_font_listener(this);
+       }
+
        public MicroRaw() {
                super(1, 30);
                setFont(AltosUILib.table_value_font);
                setEditable(false);
+               AltosUIPreferences.register_font_listener(this);
        }
 }