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