settings.py is ignored

[SlidingHorn]

Description

Edit: I realized that the location for the local settings.py is actually ~/.var/app/io.github.mirukana.mirage/config/mirage on the configuration page. I copied my file over to that directory, and there is no change in behavior.

Edit 2: Even if I edit the actual "global" settings.py, the changes are not enabled, so I have no idea what is going on at this point.

---

First, the settings.py from the flatpak (user install) is not in any of the suggested directories on the configuration page.

After digging and finding it, I created a ~/.config/mirage/settings.py file and added the following options (Note: I included the absolute path, as I figured since the original settings.py wasn't where the documentation said it should be, mirage would probably not find it properly otherwise):

self.include_builtin("/home/user/.local/share/flatpak/app/io.github.mirukana.mirage/x86_64/master/e523f8856f45367c6a53a229d54a81e1f825cb0281e414081b527ddd2eb0b191/files/share/examples/mirage/settings.py")

class General:
    compact: bool = True

class Notifications:
    start_level: str = "highlights_only"
    local_unread_markers: bool = True

When I load mirage, compact view is not enabled, notifications are set to enable for all messages, and there are no unread markers on the room list.

Your environment

• **OS or distribution:-- Ubuntu 20.04
• Architecture: x86 64bit
• DE: MATE 1.24.0
• How did you install Mirage? AppImage AND Flatpak

The rest of the questions below are described above. For the flatpak, I followed the instructions here to the letter, and literally copied and pasted the commands (with the exception of the path to the downloaded flatpak file, obviously)

Steps to reproduce

1. Do this...
2. Do that...

Expected behavior

Tell us what should happen

Actual behavior

Tell us what happens instead