Make GuiConfig use messages.py labels