On Wed, Oct 04, 2000 at 11:53:53AM +0200, Jean-Marc Lasgouttes wrote:
>
> I do not know how this code could be adapted to the case of Toc and
> Ref entries, since they contain submenus. Ideas are welcome, of
> course.
The follownig scheme can be used:
After reading the ui file, we have a repres
> "Dekel" == Dekel Tsur <[EMAIL PROTECTED]> writes:
Dekel> After reading the ui file, we have a representation of the menu
Dekel> by a rooted tree, whose nodes are instances of the Menu class
Dekel> (if I read the code correctly, the edges of the tree are stored
Dekel> using the submenu_ stri
On Mon, Oct 09, 2000 at 04:23:39PM +0200, Jean-Marc Lasgouttes wrote:
>
> To put it another way, I thought I could just add a Menu* member in
> menuitem and that Menu::expand would just populate that for items of
> type Submenu for Toc and Ref. I have a few questions, though:
I think that my sug
On Fri, 13 Oct 2000, Dekel Tsur wrote:
> On Mon, Oct 09, 2000 at 04:23:39PM +0200, Jean-Marc Lasgouttes wrote:
> >
> > To put it another way, I thought I could just add a Menu* member in
> > menuitem and that Menu::expand would just populate that for items of
> > type Submenu for Toc and Ref. I
> "Marko" == Marko Vendelin <[EMAIL PROTECTED]> writes:
>> It has been claimed that the Refs menu is redundant, and I think
>> that I agree. The whole purpose of this menu was a fast way for
>> adding references, but using the new reference dialog (with the
>> keyboard) is as fast as using th
On 13 Oct 2000, Jean-Marc Lasgouttes wrote:
> Marko> True, you can add/edit the reference quite fast with the
> Marko> dialog.
>
> So should it be removed? It adds quite a bit of complexity to the menu
> code...
I would be happy with it: we can then declare Menubar in guii.php3 as
"Completed
> "Marko" == Marko Vendelin <[EMAIL PROTECTED]> writes:
Marko> On 13 Oct 2000, Jean-Marc Lasgouttes wrote: True, you can
Marko> add/edit the reference quite fast with the dialog.
>> So should it be removed? It adds quite a bit of complexity to the
>> menu code...
Marko> I would be happy wit
