Adriaan de Groot
|
10f7bac2df
|
[partition] Reorder initialization
|
2018-09-12 10:05:14 -04:00 |
|
Adriaan de Groot
|
c3f3276188
|
[partition] Improve presentation of swap options
|
2018-09-12 09:20:44 -04:00 |
|
Adriaan de Groot
|
dc492b301c
|
[partition] Drop label on swap-options box
|
2018-09-12 08:42:21 -04:00 |
|
Adriaan de Groot
|
c813375908
|
[partition] Prepare for swap options
- Extend PrettyRadioButton with options (combo-boxes which may
be added later).
|
2018-09-12 08:09:01 -04:00 |
|
Adriaan de Groot
|
762ad54344
|
Documentation: change http links to GitHub to https
|
2017-12-20 08:39:09 -05:00 |
|
Teo Mrnjavac
|
40ee57bed1
|
Useless margin is useless.
|
2015-12-30 17:27:02 +01:00 |
|
Teo Mrnjavac
|
e83fdfbd13
|
Make PrettyRadioButton inheritable.
|
2015-12-30 17:27:02 +01:00 |
|
Teo Mrnjavac
|
d39e77f7e8
|
New PrettyRadioButton, an alternative to QRadioButton with rich text.
|
2014-10-07 16:07:27 +02:00 |
|