Menu

#175 Navigator: improved GUI scaling

closed
None
5
2015-08-14
2015-08-13
Makarius
No

Refrain from changing font sizes, to improve implicit GUI scaling (for high resolution displays). More conventional addSeparator/addComponent as in other option panes.

1 Attachments
dif

Discussion

  • Dale Anson

    Dale Anson - 2015-08-13
    • assigned_to: Dale Anson
     
  • Dale Anson

    Dale Anson - 2015-08-14

    Makarius, would you check revision 24018, please? I didn't apply your patch directly as I added a few new properties for the labels so they can be localized. Please close this if this change looks good to you.

     
  • Makarius

    Makarius - 2015-08-14
    • status: open --> closed
     

Log in to post a comment.