> They could still be stored in a section [toolbar] or > more general [geometry].
It is tempting to have sections like this, and even for each frontend (who would run lyx with different frontends anyway?). But right now, [session info] or [frontend] should be enough for the two entries we have (window width and height). Bo
