add border option to button in gui.py