From 3dde7f4d05414ac4907c91c68c88cc1d06233605 Mon Sep 17 00:00:00 2001 From: Keith Packard Date: Sat, 26 Aug 2017 19:14:10 -0700 Subject: [PATCH] micropeak: Track font changes in raw data display Signed-off-by: Keith Packard --- micropeak/MicroPeak.java | 1 + micropeak/MicroRaw.java | 11 ++++++++++- 2 files changed, 11 insertions(+), 1 deletion(-) diff --git a/micropeak/MicroPeak.java b/micropeak/MicroPeak.java index 607bf20c..749d0f64 100644 --- 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 d1d5d076..7a60499e 100644 --- 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); } } -- 2.30.2