>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:
>> If, under other toolkits, this dialog is layed out differently, >> groupings change, or some of the features work differently (say, >> the margin boxes use spin boxes in addition to straight input >> boxes), this will have a significant impact on the documentation. I think we should try to avoid as much as possible gratuitous differences. If a frontend owner comes up with a different layout, then the other maintainers should try to see whether they should adopt this layout too. This does not mean that frontends _have_ to be the same, but that the differences should be as rare as reasonably possible. Of course, this would mean that we have teams of active frontend owners :) JMarc
