Re: [Texmacs-dev] Qt-menus: separator

[Norbert Nemec]

I just found a related issue:

Currently "group headers" within each drop-down menu are realized as 
grayed-out dummy entries. Actually, this is what a combination of
setText and setSeparator should be used for. Instead the setText('x') as 
it was introduced for debugging, one would simply use setText with some 
meaningful argument.

Greetings,
Norbert


On 18/11/10 17:41, Gubinelli Massimiliano wrote:
> My fault,
>  just a remnant from a debugging session. I will commit a patch now.
>
> best
> max
>
> On 18 nov. 10, at 16:59, Norbert Nemec wrote:
>
> > In qt_menu.cpp I find:
> >
> > ----------------
> > widget
> > menu_separator (bool vertical) {
> >  // a horizontal or vertical menu separator
> >  (void) vertical;
> >  QAction* a= new QTMAction (NULL);
> >  a->setSeparator (true);
> >  a->setText("x");
> >  return tm_new<qt_menu_rep> (a);
> > }
> > ----------------
> >
> > Is there a good reason for the setText line? On my system the result 
> > is quite ugly: Separators in menus turn from thin lines into fat bars 
> > with a lonely "x" inside...
> > --
> > Neu: GMX De-Mail - Einfach wie E-Mail, sicher wie ein Brief!
> > Jetzt De-Mail-Adresse reservieren: http://portal.gmx.net/de/go/demail
> >
> > _______________________________________________
> > Texmacs-dev mailing list
> > address@hidden
> > http://lists.gnu.org/mailman/listinfo/texmacs-dev
>
>
> _______________________________________________
> Texmacs-dev mailing list
> address@hidden
> http://lists.gnu.org/mailman/listinfo/texmacs-dev