IMO this is is a bad workaround. We should simply support session managers (there was a development branch on that topic a long while ago), then we could also synchronize other settings.

I'm especially negative if it adds a weird setting, by demand.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.