Lars Gullik Bjønnes wrote: > > I think we should change the layout format to not need separate > definitions for numbered/unnumbered layouts, but rather have a > "flag": Numbered/Unnumbered and default to having both. > > We'll then automatically generate both versions when reading the > .layout in. > > Also in the layout drop-down box we should then not use the "*" star > anymore, but have "(Numbered)" and/or "(Unnumbered)" instead. > > '*' is a texism.
Sounds good. -- Angus
