/**
*#########################################################################
*
* A component of the Gatherer application, part of the Greenstone digital
* library suite from the New Zealand Digital Library Project at the
* University of Waikato, New Zealand.
*
*
*
* Author: John Thompson, Greenstone Digital Library, University of Waikato
*
*
*
* Copyright (C) 1999 New Zealand Digital Library Project
*
*
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version.
*
*
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
*
*
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
*########################################################################
*/
package org.greenstone.gatherer.gui;
import javax.swing.JTextArea;
import javax.swing.text.*;
public class SmarterTextArea
extends JTextArea {
private boolean init = true;
public SmarterTextArea() {
super();
}
public SmarterTextArea(String text, boolean editable) {
super();
if(!editable) {
setDocument(new UnchangingDocument());
}
setText(text);
init = false;
}
public int calculateColumnCount() {
return (getWidth() / getColumnWidth());
}
/** we want to be able to set the text without the user being able to */
/* private void systemSetText(String text) {
init = true;
setText(text);
init = false;
} */
private class UnchangingDocument
extends PlainDocument {
public void insertString(int offs, String str, AttributeSet a)
throws BadLocationException {
if(init) {
super.insertString(offs, str, a);
}
}
public void remove(int offs, int len)
throws BadLocationException {
if (init) {
super.remove(offs, len);
}
}
}
}