def mousePressed(self, event): ### MouseAdapter
if event.getButton() != MouseEvent.BUTTON1:
return
offset = self.text_area.viewToModel(event.getPoint())
rowStart = Utilities.getRowStart(self.text_area, offset)
rowEnd = Utilities.getRowEnd(self.text_area, offset)
self.start = rowStart
self.value = self.text_area.getText()[rowStart:rowEnd]
self.text_area.getHighlighter().removeAllHighlights()
painter = DefaultHighlighter.DefaultHighlightPainter(Color.LIGHT_GRAY)
self.text_area.getHighlighter().addHighlight(rowStart, rowEnd, painter)
def __init__(self):
#-----------------------------------------------------------------------
# Painter instance used to highlight text
# Note: See hilightTextPane()
#-----------------------------------------------------------------------
self.painter = DefaultHighlighter.DefaultHighlightPainter(Color.YELLOW)
#-----------------------------------------------------------------------
# Input field containing the text to be highlighted
#-----------------------------------------------------------------------
self.textField = JTextField('')
#-----------------------------------------------------------------------
# Dictionary, indexed by tab name, with info about tab contents
#-----------------------------------------------------------------------
self.tPanes = {}
#-----------------------------------------------------------------------
# Tabbed Pane for information to be displayed
#-----------------------------------------------------------------------
self.tabs = JTabbedPane(stateChanged=self.tabPicked)
def __init__(self):
#-----------------------------------------------------------------------
# Painter instance used to highlight text
# Note: See hilight()
#-----------------------------------------------------------------------
self.painter = DefaultHighlighter.DefaultHighlightPainter(Color.YELLOW)