Re: Modules Merge Complete

2007-09-15 Thread Richard Heck
Edwin Leuven wrote: i tweaked the layout a bit in attached and added some shortcuts to the keys That's fine. I'm no expert here. i was also wondering about the following: are the up/down buttons necessary? Yes. It may be important to load modules in a certain order, if they load certain packag

Re: Modules Merge Complete

2007-09-15 Thread Edwin Leuven
i tweaked the layout a bit in attached and added some shortcuts to the keys i was also wondering about the following: are the up/down buttons necessary? can't selecting be done through checkboxes as in the embedded files dialog? atm it is possible to select all the theorem modules at the same

Re: Modules Merge Complete

2007-09-15 Thread Richard Heck
Martin Vermeer wrote: On Fri, Sep 14, 2007 at 09:56:45PM -0400, Richard Heck wrote: With revision 20282, the merge of the layout modules material is essentially complete. Please test away, and let me know of any problems. Also, please have a look at the existing modules in lib/layout/ and t

Re: Modules Merge Complete

2007-09-15 Thread Richard Heck
Bo Peng wrote: On 9/14/07, Richard Heck <[EMAIL PROTECTED]> wrote: With revision 20282, the merge of the layout modules material is essentially complete. Please test away, and let me know of any problems. Also, please have a look at the existing modules in lib/layout/ and think creatively abo

Re: Modules Merge Complete

2007-09-15 Thread Martin Vermeer
On Fri, Sep 14, 2007 at 09:56:45PM -0400, Richard Heck wrote: > > With revision 20282, the merge of the layout modules material is > essentially complete. Please test away, and let me know of any problems. > Also, please have a look at the existing modules in lib/layout/ and > think creatively

Re: Modules Merge Complete

2007-09-15 Thread Pavel Sanda
> Could you please, if you have not done so, update or add a chapter in > User's Guide (or other document) how to use this feature? +1 pavel

Re: Modules Merge Complete

2007-09-14 Thread Bo Peng
On 9/14/07, Richard Heck <[EMAIL PROTECTED]> wrote: > > With revision 20282, the merge of the layout modules material is > essentially complete. Please test away, and let me know of any problems. > Also, please have a look at the existing modules in lib/layout/ and > think creatively about what els