diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-01-20 23:50:46 +0100 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-01-20 23:53:42 +0100 |
| commit | f9d0bc1858fb0e6da6b4bbdee29be4e40c48a57f (patch) | |
| tree | dedd5c0617426194d0f88ba87abf8e06e82ac860 /modules | |
| parent | 09e4d7e9ebb3aa1f1d8b7adf96778a9568797518 (diff) | |
Make "Export with Debug" more visible in the Export dialog
This swaps out the CheckButton with a CheckBox, which has two benefits:
- The checkbox icon appears to the left of the text, which moves it
closer from the text. This makes it more easily noticeable, as
it also appears below the "File:" text now.
- It follows the UI convention of using checkboxes for options that
do not bear an immediate effect, unlike CheckButtons which are
expected to have an immediate effect when toggled.
This closes #25170.
Diffstat (limited to 'modules')
0 files changed, 0 insertions, 0 deletions