source: trunk/gli/src/org/greenstone/gatherer/gui/SmarterTextArea.java@ 5785

/**
 *#########################################################################
 *
 * 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.
 *
 * <BR><BR>
 *
 * Author: John Thompson, Greenstone Digital Library, University of Waikato
 *
 * <BR><BR>
 *
 * Copyright (C) 1999 New Zealand Digital Library Project
 *
 * <BR><BR>
 *
 * 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.
 *
 * <BR><BR>
 *
 * 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.
 *
 * <BR><BR>
 *
 * 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);
        }
    }
    }
}