Minor cosmetic enhancement, and try to fix an issue with accelerator keys and the Python scripting console