import java.awt.*;
import java.io.*;
import javax.swing.*;
-import org.altusmetrum.altoslib_11.*;
-import org.altusmetrum.altosuilib_11.*;
+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();
try {
data.export(sw);
- setRows(data.pressures.length + 1);
+ setRows(data.length());
setText(sw.toString());
} catch (IOException ie) {
setText(String.format("Error writing data: %s", ie.getMessage()));
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);
}
}