Refrain from changing font sizes, to improve implicit GUI scaling (for high resolution displays). More conventional addSeparator/addComponent as in other option panes.
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.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
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.