7 Commits (c3f3276188978f25b1e63c32ca639bacc2586fbe)

Author SHA1 Message Date
Adriaan de Groot c3f3276188 [partition] Improve presentation of swap options 7 years ago
Adriaan de Groot dc492b301c [partition] Drop label on swap-options box 7 years ago
Adriaan de Groot c813375908 [partition] Prepare for swap options
- Extend PrettyRadioButton with options (combo-boxes which may
   be added later).
7 years ago
Adriaan de Groot 762ad54344 Documentation: change http links to GitHub to https 8 years ago
Teo Mrnjavac 40ee57bed1 Useless margin is useless. 10 years ago
Teo Mrnjavac e83fdfbd13 Make PrettyRadioButton inheritable. 10 years ago
Teo Mrnjavac d39e77f7e8 New PrettyRadioButton, an alternative to QRadioButton with rich text. 11 years ago