1,079
edits
(Fixed link to concept art) |
|||
Line 36: | Line 36: | ||
** If we ever add radio buttons, then those could be grouped via a GroupBoxWidget, too | ** If we ever add radio buttons, then those could be grouped via a GroupBoxWidget, too | ||
** Clearly this widget would be of great use for the options dialogs, for the "Override XYZ" checkboxes | ** Clearly this widget would be of great use for the options dialogs, for the "Override XYZ" checkboxes | ||
* ButtonWidget: Allow drawing the 'default' button in a visually distinct way | |||
=== Dialogs === | === Dialogs === |
edits