Juergen Spitzmueller wrote: > > The current mixture of GUI/LaTeX names is a mess. The only clean way out > > of it is IMHO to store only LaTeX names. > > I propose the attached fix. > > I'm fine with this, except for the \normalcolor thing (see below).
And, as a minor thing, in infoize(), the gui name (and _("Color"), for that
matter) should be used. This will give translated messages in the status bar.
Jürgen
