Re: [Texmacs-dev] New features for menus in TeXmacs 1.0.0.11

[Joris van der Hoeven]

> > 3. The 'check' menu item attribute
> > ----------------------------------
> > 
> > Three types of checkmarks are used:
> > 
> >   *  for mutually exclusive items.
> >   o  for mutually exclusive environment settings.
> >   v  for toggles.
> 
> I do not understand why use three different "checks". Mutually
> exclusive items and toggles use the same symbol everywhere. Why make
> texmacs different?
>
> What are the intended semantics of the "o" toggle?

I explained this before.
o corresponds to *structured* selection.
Selecting one item and then reselecting the old one is *not* a noop.

> > 4. Implicit rules
> 
> I fear this conflicts with the "toggle on item text"
> scheme. And I cannot say if I think it is right since I do not
> understand what are "o" toggles for.
> 
> Does that set any other type of "check"?

Yes, it also sets *-checks in the case of global environment
variable settings (init-env).

> > Some work for David?
> > --------------------
> > 
> > Maybe David is willing to take care of the following issues,
> > since he pressed me to implement the additional features :^)
> 
> I take note of the smilie, but I rather feel like you pressed me to
> make suggestions. As a reminder, here is the original message fragment
> which caused me to start that discussion:
> 
> So I am willing to make some changes, but when I have the time (not
> now since I am spending all my work day typing emails) and after
> having worked out some wishes I promised to implement (extra support
> in the makefile and disabling of the font generation window).
> 
> I also have to take care of my placement report for the school.

We'll see. But remember that I am also very busy.
At a certain point, I will freeze the user interface, ready or not.
The more you help, the more time we will have to make it really good and
the more that you will be able to influence the design.

> > * Capitalize the *first* letters of all menu entry texts.
> >   Capitalization of other letters will be done automatically
> >   if this is set as an option (not implemented yet).
> 
> You kow that this option is useless, and too hard to implement
> correctly to worth the trouble. More on that issue in the relevant
> thread.

OK, so we will use only capitalization of the first letters.
Let us close this discussion; I do not like the Macintosh convention
once and for all, and, contrary to ..., 'when', *, o and v,
I do not see how this convention can be of any use for the user.

> > * Put * and v checkmarks whereever needed and use toggling
> >   whenever appropriate.
> 
> I think it would be better to use "v" checkmarks everywhere.

I explained above why this is semantically incorrect for
*structured* editors.

> > Note: please perform these changes shortly after the 1.0.0.11 release.
> 
> I will try, but that may not occur at the best possible time for me.

Thanks a lot; I really want to get these things finished now.
This has taken much too much of my time.

> > Note: be careful that there are a few menus which are outside progs/menu.
> 
> ??? I hope they are all in the progs directory!

Yes, they are.