>>>>> "Michael" == Michael Gerz <[EMAIL PROTECTED]> writes:
Michael> - Extended-Insets.lyx violates our document naming Michael> conventions. (I renamed it to ExtendedInsets.lyx) Good. Michael> - Menu entry "Extended-Insets" is rather confusing (and, I Michael> guess, not proper English) because we do not extend the Michael> insets :-) A simple "Insets" is probably more intuitive. It is better indeed, but I still do not find it very intuitive. Since I have no better idea to propose, I think we should let it like that for now. Michael> - You polluted ./clipart with a lot of stuff that is Michael> definitely not cliparts! (I don't know where to store all Michael> those files but ./clipart doesn't look right) Our clipart directory is nothing more than the images for the documentation anyway. I do not think it serves any useful purpose... JMarc
