'WINTOKEN': ('glyphs/win.png', PALETTE.DARK_OLIVE),
'KEY': ('glyphs/key.png', None),
'MSB': ('glyphs/msb.png', None),
- 'REDKEY': ('glyphs/key.png', PALETTE.ORANGE),
- 'GREENKEY': ('glyphs/key.png', PALETTE.GREEN),
- 'BLUEKEY': ('glyphs/key.png', PALETTE.BLUE),
+ 'RED': ('glyphs/key.png', PALETTE.ORANGE),
+ 'GREEN': ('glyphs/key.png', PALETTE.GREEN),
+ 'BLUE': ('glyphs/key.png', PALETTE.BLUE),
}
class TextBoxWidget(TextWidget):
def __init__(self, *args, **kwargs):
- self.padding = kwargs.pop('padding', 5)
+ self.padding = kwargs.pop('padding', 4)
self.border = kwargs.pop('border', 2)
self.bg_colour = convert_colour(kwargs.pop('bg_colour',
PALETTE.LIGHT_VIOLET))