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))