gate.gui
Class DocumentEditor.CustomLabelView

java.lang.Object
  javax.swing.text.View
      javax.swing.text.GlyphView
          javax.swing.text.LabelView
              gate.gui.DocumentEditor.CustomLabelView

All Implemented Interfaces:

Cloneable, SwingConstants, TabableView

Enclosing class:

DocumentEditor

public class DocumentEditor.CustomLabelView
extends LabelView

Fixes the 4406598 bug in swing text components. The bug consists in the fact that the Background attribute is ignored by the text component whent it is defined in a style from which the current style inherits.

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.text.GlyphView

GlyphView.GlyphPainter

Field Summary

Fields inherited from class javax.swing.text.View

BadBreakWeight, ExcellentBreakWeight, ForcedBreakWeight, GoodBreakWeight, X_AXIS, Y_AXIS

Fields inherited from interface javax.swing.SwingConstants

BOTTOM, CENTER, EAST, HORIZONTAL, LEADING, LEFT, NEXT, NORTH, NORTH_EAST, NORTH_WEST, PREVIOUS, RIGHT, SOUTH, SOUTH_EAST, SOUTH_WEST, TOP, TRAILING, VERTICAL, WEST

Constructor Summary

DocumentEditor.CustomLabelView(Element elem)

Method Summary

Color

getBackground()

Methods inherited from class javax.swing.text.LabelView

changedUpdate, getFont, getFontMetrics, getForeground, isStrikeThrough, isSubscript, isSuperscript, isUnderline, setBackground, setPropertiesFromAttributes, setStrikeThrough, setSubscript, setSuperscript, setUnderline

Methods inherited from class javax.swing.text.GlyphView

breakView, checkPainter, clone, createFragment, getAlignment, getBreakWeight, getEndOffset, getGlyphPainter, getNextVisualPositionFrom, getPartialSpan, getPreferredSpan, getStartOffset, getTabbedSpan, getTabExpander, getText, insertUpdate, modelToView, paint, removeUpdate, setGlyphPainter, viewToModel

Methods inherited from class javax.swing.text.View

append, forwardUpdate, forwardUpdateToView, getAttributes, getChildAllocation, getContainer, getDocument, getElement, getGraphics, getMaximumSpan, getMinimumSpan, getParent, getResizeWeight, getToolTipText, getView, getViewCount, getViewFactory, getViewIndex, getViewIndex, insert, isVisible, modelToView, modelToView, preferenceChanged, remove, removeAll, replace, setParent, setSize, updateChildren, updateLayout, viewToModel

Methods inherited from class java.lang.Object

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

Methods inherited from interface javax.swing.text.TabableView

getPartialSpan, getTabbedSpan

Constructor Detail

DocumentEditor.CustomLabelView

public DocumentEditor.CustomLabelView(Element elem)

Method Detail

getBackground

public Color getBackground()

Overrides:

getBackground in class LabelView