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

Reply via email to