Michael Gerz wrote:
How do the session settings and the default settings in default.ui interact? Which overrules which?
And do we still need default settings in default.ui at all?I assume they are obsolete after the first startup, because then the session info overrule the default.ui settings.
Michael