Re: [Updated PATCH] session/toolbar.

[Jean-Marc Lasgouttes]

>>>>> "Michael" == Michael Gerz <[EMAIL PROTECTED]> writes:

Michael> In other words: Once the settings are saved, the default.ui
Michael> settings are pointless. Which suggests getting rid of them.

Well, the initial settings are useful.

JMarc