The Checkbutton() widget – selecting LEDs