[Texmacs-dev] Qt-menus: separator

[Norbert Nemec]

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