1 | /**
|
---|
2 | *#########################################################################
|
---|
3 | *
|
---|
4 | * A component of the Gatherer application, part of the Greenstone digital
|
---|
5 | * library suite from the New Zealand Digital Library Project at the
|
---|
6 | * University of Waikato, New Zealand.
|
---|
7 | *
|
---|
8 | * <BR><BR>
|
---|
9 | *
|
---|
10 | * Author: John Thompson, Greenstone Digital Library, University of Waikato
|
---|
11 | *
|
---|
12 | * <BR><BR>
|
---|
13 | *
|
---|
14 | * Copyright (C) 1999 New Zealand Digital Library Project
|
---|
15 | *
|
---|
16 | * <BR><BR>
|
---|
17 | *
|
---|
18 | * This program is free software; you can redistribute it and/or modify
|
---|
19 | * it under the terms of the GNU General Public License as published by
|
---|
20 | * the Free Software Foundation; either version 2 of the License, or
|
---|
21 | * (at your option) any later version.
|
---|
22 | *
|
---|
23 | * <BR><BR>
|
---|
24 | *
|
---|
25 | * This program is distributed in the hope that it will be useful,
|
---|
26 | * but WITHOUT ANY WARRANTY; without even the implied warranty of
|
---|
27 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
---|
28 | * GNU General Public License for more details.
|
---|
29 | *
|
---|
30 | * <BR><BR>
|
---|
31 | *
|
---|
32 | * You should have received a copy of the GNU General Public License
|
---|
33 | * along with this program; if not, write to the Free Software
|
---|
34 | * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
|
---|
35 | *########################################################################
|
---|
36 | */
|
---|
37 | package org.greenstone.gatherer.gui;
|
---|
38 |
|
---|
39 | import javax.swing.JTextArea;
|
---|
40 | import javax.swing.text.*;
|
---|
41 |
|
---|
42 | public class SmarterTextArea
|
---|
43 | extends JTextArea {
|
---|
44 |
|
---|
45 | private boolean init = true;
|
---|
46 |
|
---|
47 | public SmarterTextArea() {
|
---|
48 | super();
|
---|
49 | }
|
---|
50 |
|
---|
51 | public SmarterTextArea(String text, boolean editable) {
|
---|
52 | super();
|
---|
53 | if(!editable) {
|
---|
54 | setDocument(new UnchangingDocument());
|
---|
55 | }
|
---|
56 | setText(text);
|
---|
57 | init = false;
|
---|
58 | }
|
---|
59 |
|
---|
60 | public int calculateColumnCount() {
|
---|
61 | return (getWidth() / getColumnWidth());
|
---|
62 | }
|
---|
63 |
|
---|
64 | /** we want to be able to set the text without the user being able to */
|
---|
65 | public void systemSetText(String text) {
|
---|
66 | init = true;
|
---|
67 | setText(text);
|
---|
68 | init = false;
|
---|
69 | }
|
---|
70 |
|
---|
71 | private class UnchangingDocument
|
---|
72 | extends PlainDocument {
|
---|
73 | public void insertString(int offs, String str, AttributeSet a)
|
---|
74 | throws BadLocationException {
|
---|
75 | if(init) {
|
---|
76 | super.insertString(offs, str, a);
|
---|
77 | }
|
---|
78 | }
|
---|
79 | public void remove(int offs, int len)
|
---|
80 | throws BadLocationException {
|
---|
81 | if (init) {
|
---|
82 | super.remove(offs, len);
|
---|
83 | }
|
---|
84 | }
|
---|
85 | }
|
---|
86 | }
|
---|