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
[email protected]
http://lists.gnu.org/mailman/listinfo/texmacs-dev
_______________________________________________
Texmacs-dev mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/texmacs-dev
_______________________________________________
Texmacs-dev mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/texmacs-dev
