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.


Inner classes inherited from class javax.swing.text.GlyphView
GlyphView.GlyphPainter
 
Fields inherited from class javax.swing.text.LabelView
bg, fg, font, strike, subscript, superscript, underline
 
Fields inherited from class javax.swing.text.GlyphView
defaultPainter, expander, length, offset, painter, text, x
 
Fields inherited from class javax.swing.text.View
BadBreakWeight, elem, ExcellentBreakWeight, ForcedBreakWeight, GoodBreakWeight, parent, sharedBiasReturn, X_AXIS, Y_AXIS
 
Fields inherited from interface javax.swing.SwingConstants
BOTTOM, CENTER, EAST, HORIZONTAL, LEADING, LEFT, NORTH, NORTH_EAST, NORTH_WEST, 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, setPropertiesFromAttributes, setStrikeThrough, setSubscript, setSuperscript, setUnderline, sync
 
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, paintTextUsingColor, removeUpdate, setGlyphPainter, viewToModel
 
Methods inherited from class javax.swing.text.View
, append, forwardUpdate, forwardUpdateToView, getAttributes, getChildAllocation, getContainer, getDocument, getElement, getGraphics, getMaximumSpan, getMinimumSpan, getParent, getResizeWeight, getView, getViewCount, getViewFactory, 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, registerNatives, 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