5bf353ec37
QToolButton is not really designed to be used in the way we did and since QPushButton supports having a menu attached to, we can replace tool buttons in most cases. * Fix the presentation of the TabButtonWidget by updating RareStyle's css * Reduce the size of the top tab bar to save vertical space. * Remove infoLabel property
4 lines
No EOL
241 B
XML
4 lines
No EOL
241 B
XML