Store the panel settings in *.ini files (instead of using hand-written *.txt files).