def __init__(self, spy, parentCrate=None):
JButton.__init__(self)
self.spy = spy
self.parentCrate = parentCrate
self.text = "0"
self.icon = self.redLED
self.addActionListener(self)
self.margin = Insets(1, 1, 1, 1)
self.focusPainted = 0
self.borderPainted = 0
def __init__(self, view, handler):
JButton.__init__(self)
self.view = view
self.icon = GUIUtilities.loadIcon("Find.png")
self.margin = Insets(0, 0, 0, 0)
self.handler = handler
self.alignY = 1
self.actionPerformed = self.action
self.cursor = Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR)
self.toolTipText = u"Jump to error file %s:%s" % (unicode(
handler[0]), unicode(handler[1]))
def __init__(self, row, col, *args, **kwargs):
self.row = row
self.col = col
JButton.__init__(self, *args, **kwargs)
self.setFont(Font("Arial", Font.BOLD,90))
