Mono неправильно сохраняет настройки пользователя

Question

У меня есть что-то вроде этого:

        private void saveDataToProperties(){

        Properties.layoutPrinter.Default.Papierbreite = int.Parse(entry_druckbreite.Text);
        Properties.layoutPrinter.Default.Ueberschrift = entry_ueberschrift.Text;
        Properties.layoutPrinter.Default.Veranstalltung = entry_veranstalltungsname.Text;
        Properties.layoutPrinter.Default.bonDruck = checkbutton_bondrucken.Active;

        Properties.layoutPrinter.Default.Save();

        changes = false;
        }

Тогда Mono не сохраняет user.config, как я ожидал. Это создаст папку в ~/.local/share/[AppName+somestring]/ и файл user.config:

<?xml version="1.0" encoding="utf-8"?>
 <configuration>
  <userSettings />
 </configuration>

Я посмотрел на это сообщение, но это не сработало. На Windows-машине это сохраняет конфигурацию со всеми значениями.

Надеюсь, кто-то может помочь.