de.pannenleiter.awt
Class TextPanel

java.lang.Object
  |
  +--java.awt.Component
        |
        +--java.awt.Container
              |
              +--java.awt.Panel
                    |
                    +--de.pannenleiter.awt.TextPanel

All Implemented Interfaces:

javax.accessibility.Accessible, java.awt.image.ImageObserver, java.awt.LayoutManager, java.awt.MenuContainer, java.io.Serializable

Direct Known Subclasses:

OutputPanel, SourcePanel

public class TextPanel

extends java.awt.Panel

implements java.awt.LayoutManager

TextPanel -- this panel displays highlighted text

See Also:

Serialized Form

Inner classes inherited from class java.awt.Panel

java.awt.Panel.AccessibleAWTPanel

Inner classes inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Inner classes inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent

Field Summary

protected boolean	appendToLine
protected int	border
protected java.util.Vector	charMap
protected java.awt.FontMetrics	fm
protected java.awt.Scrollbar	horizontal
protected boolean	isInitialized
protected int	lineA
protected java.util.Vector	lineAttr
protected int	lineH
protected java.util.Vector	lines
protected int	lineW16
static java.lang.Integer	MARK
static java.lang.Integer	MARK_ENTER
static java.lang.Integer	MARK_LEAVE
static java.lang.Integer	MARK_STOP
protected java.util.Hashtable	marks
protected int	maxWidth
protected de.pannenleiter.awt.TextPanel.InnerPanel	myPanel
static int	tabWidth
protected TextPanelListener	textListener
protected java.awt.Scrollbar	vertical

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

TextPanel()

Method Summary

void	addLayoutComponent(java.lang.String name, java.awt.Component comp)
void	addNotify()
void	addTextPanelListener(TextPanelListener l)
protected void	addToCharMap(int line, int start, int end, java.lang.Object attribute)
void	append(java.lang.String text)
void	append(java.lang.String text, java.lang.Object attribute)
void	assertVisible(int line) scrolls the grid
java.lang.Object	getCharAttr(int line, int column)
java.awt.Dimension	getMaximumSize()
java.awt.Dimension	getMinimumSize()
java.awt.Dimension	getPreferredSize()
void	layoutContainer(java.awt.Container parent)
void	mark(int line, java.lang.Integer type)
void	mark(int line, java.lang.Integer type, java.lang.String name)
java.awt.Dimension	minimumLayoutSize(java.awt.Container parent)
java.awt.Dimension	preferredLayoutSize(java.awt.Container parent)
void	removeLayoutComponent(java.awt.Component comp)
void	removeTextPanelListener(TextPanelListener l)
protected void	setScrollbars(int ho, int ve)
void	setText(java.lang.String text)
void	setText(java.lang.String text, java.lang.Object attribute)
void	unmark(int line, java.lang.Integer type)

Methods inherited from class java.awt.Panel

getAccessibleContext

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getInsets, getLayout, getListeners, insets, invalidate, isAncestorOf, layout, list, list, locate, minimumSize, paint, paintComponents, paramString, preferredSize, print, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, removeNotify, setFont, setLayout, update, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addPropertyChangeListener, addPropertyChangeListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, getBackground, getBounds, getBounds, getColorModel, getComponentOrientation, getCursor, getDropTarget, getFont, getFontMetrics, getForeground, getGraphics, getGraphicsConfiguration, getHeight, getInputContext, getInputMethodRequests, getLocale, getLocation, getLocation, getLocationOnScreen, getName, getParent, getPeer, getSize, getSize, getToolkit, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isDisplayable, isDoubleBuffered, isEnabled, isFocusTraversable, isLightweight, isOpaque, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, reshape, resize, resize, setBackground, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setEnabled, setForeground, setLocale, setLocation, setLocation, setName, setSize, setSize, setVisible, show, show, size, toString, transferFocus

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

MARK

public static final java.lang.Integer MARK

MARK_ENTER

public static final java.lang.Integer MARK_ENTER

MARK_LEAVE

public static final java.lang.Integer MARK_LEAVE

MARK_STOP

public static final java.lang.Integer MARK_STOP

tabWidth

public static int tabWidth

fm

protected java.awt.FontMetrics fm

lineH

protected int lineH

lineW16

protected int lineW16

lineA

protected int lineA

border

protected int border

isInitialized

protected boolean isInitialized

myPanel

protected de.pannenleiter.awt.TextPanel.InnerPanel myPanel

horizontal

protected java.awt.Scrollbar horizontal

vertical

protected java.awt.Scrollbar vertical

lines

protected java.util.Vector lines

maxWidth

protected int maxWidth

appendToLine

protected boolean appendToLine

marks

protected java.util.Hashtable marks

lineAttr

protected java.util.Vector lineAttr

charMap

protected java.util.Vector charMap

textListener

protected TextPanelListener textListener

Constructor Detail

TextPanel

public TextPanel()

Method Detail

getPreferredSize

public java.awt.Dimension getPreferredSize()

Overrides:

getPreferredSize in class java.awt.Container

getMinimumSize

public java.awt.Dimension getMinimumSize()

Overrides:

getMinimumSize in class java.awt.Container

getMaximumSize

public java.awt.Dimension getMaximumSize()

Overrides:

getMaximumSize in class java.awt.Container

addLayoutComponent

public void addLayoutComponent(java.lang.String name,
                               java.awt.Component comp)

Specified by:

addLayoutComponent in interface java.awt.LayoutManager

removeLayoutComponent

public void removeLayoutComponent(java.awt.Component comp)

Specified by:

removeLayoutComponent in interface java.awt.LayoutManager

preferredLayoutSize

public java.awt.Dimension preferredLayoutSize(java.awt.Container parent)

Specified by:

preferredLayoutSize in interface java.awt.LayoutManager

minimumLayoutSize

public java.awt.Dimension minimumLayoutSize(java.awt.Container parent)

Specified by:

minimumLayoutSize in interface java.awt.LayoutManager

layoutContainer

public void layoutContainer(java.awt.Container parent)

Specified by:

layoutContainer in interface java.awt.LayoutManager

setScrollbars

protected void setScrollbars(int ho,
                             int ve)

append

public void append(java.lang.String text)

append

public void append(java.lang.String text,
                   java.lang.Object attribute)

addToCharMap

protected void addToCharMap(int line,
                            int start,
                            int end,
                            java.lang.Object attribute)

setText

public void setText(java.lang.String text)

setText

public void setText(java.lang.String text,
                    java.lang.Object attribute)

mark

public void mark(int line,
                 java.lang.Integer type,
                 java.lang.String name)

unmark

public void unmark(int line,
                   java.lang.Integer type)

mark

public void mark(int line,
                 java.lang.Integer type)

getCharAttr

public java.lang.Object getCharAttr(int line,
                                    int column)

assertVisible

public void assertVisible(int line)

scrolls the grid

addTextPanelListener

public void addTextPanelListener(TextPanelListener l)

removeTextPanelListener

public void removeTextPanelListener(TextPanelListener l)

addNotify

public void addNotify()

Overrides:

addNotify in class java.awt.Panel