Files
gdb-gui/gui/startup.py