Bump java lib versions in preparation for 1.9.2
[fw/altos] / micropeak / MicroRaw.java
1 /*
2  * Copyright © 2013 Keith Packard <keithp@keithp.com>
3  *
4  * This program is free software; you can redistribute it and/or modify
5  * it under the terms of the GNU General Public License as published by
6  * the Free Software Foundation; either version 2 of the License, or
7  * (at your option) any later version.
8  *
9  * This program is distributed in the hope that it will be useful, but
10  * WITHOUT ANY WARRANTY; without even the implied warranty of
11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
12  * General Public License for more details.
13  *
14  * You should have received a copy of the GNU General Public License along
15  * with this program; if not, write to the Free Software Foundation, Inc.,
16  * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
17  */
18
19 package org.altusmetrum.micropeak;
20
21 import java.awt.*;
22 import java.io.*;
23 import javax.swing.*;
24 import org.altusmetrum.altoslib_14.*;
25 import org.altusmetrum.altosuilib_14.*;
26
27 public class MicroRaw extends JTextArea implements AltosFontListener {
28
29         public void font_size_changed(int font_size) {
30                 setFont(AltosUILib.table_value_font);
31         }
32
33         public void setData(MicroData data) {
34                 StringWriter    sw = new StringWriter();
35                 try {
36                         data.export(sw);
37                         setRows(data.length());
38                         setText(sw.toString());
39                 } catch (IOException ie) {
40                         setText(String.format("Error writing data: %s", ie.getMessage()));
41                 }
42                 setCaretPosition(0);
43         }
44
45         public void tell_closing() {
46                 AltosUIPreferences.unregister_font_listener(this);
47         }
48
49         public MicroRaw() {
50                 super(1, 30);
51                 setFont(AltosUILib.table_value_font);
52                 setEditable(false);
53                 AltosUIPreferences.register_font_listener(this);
54         }
55 }