01: /*
02: * @(#)OverlayTextArea.java 8/14/2007
03: *
04: * Copyright 2002 - 2007 JIDE Software Inc. All rights reserved.
05: */
06:
07: package com.jidesoft.swing;
08:
09: import javax.swing.*;
10: import javax.swing.text.Document;
11:
12: public class OverlayTextArea extends JTextArea {
13: public OverlayTextArea() {
14: }
15:
16: public OverlayTextArea(String text) {
17: super (text);
18: }
19:
20: public OverlayTextArea(int rows, int columns) {
21: super (rows, columns);
22: }
23:
24: public OverlayTextArea(String text, int rows, int columns) {
25: super (text, rows, columns);
26: }
27:
28: public OverlayTextArea(Document doc) {
29: super (doc);
30: }
31:
32: public OverlayTextArea(Document doc, String text, int rows,
33: int columns) {
34: super (doc, text, rows, columns);
35: }
36:
37: @Override
38: public void repaint(long tm, int x, int y, int width, int height) {
39: super.repaint(tm, x, y, width, height);
40: OverlayableUtils.repaintOverlayable(this);
41: }
42: }
|