Konfigurationsdatei, mit der u.a. zwischen TiledTermPanel und GLPanel umgeschaltet werden kann.