diff options
| author | Bdale Garbee <bdale@gag.com> | 2017-08-28 12:05:57 -0600 | 
|---|---|---|
| committer | Bdale Garbee <bdale@gag.com> | 2017-08-28 12:05:57 -0600 | 
| commit | 1afcdb1f26d10f535e4467174688191b0194377e (patch) | |
| tree | ee4412dae28490fb4c1d38631c2fbee9cf44a480 /micropeak/MicroRaw.java | |
| parent | 5376d4c904de57e289f12ee201690deebe34164b (diff) | |
| parent | b1cf0dab1e28433e06ab02cec033951ea0149ea3 (diff) | |
Merge branch 'branch-1.8' into debian
Diffstat (limited to 'micropeak/MicroRaw.java')
| -rw-r--r-- | micropeak/MicroRaw.java | 11 | 
1 files changed, 10 insertions, 1 deletions
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);  	}  }  | 
