diff options
Diffstat (limited to 'gui/themes/default.inc')
| -rw-r--r-- | gui/themes/default.inc | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/gui/themes/default.inc b/gui/themes/default.inc index bd28c2e85d..f6096ce342 100644 --- a/gui/themes/default.inc +++ b/gui/themes/default.inc @@ -1187,6 +1187,31 @@ "</layout> " "</layout> " "</dialog> " +"<dialog name = 'GameOptions_Engine' overlays = 'Dialog.GameOptions.TabWidget' shading = 'dim'> " +"<layout type = 'vertical' padding = '16, 16, 16, 16'> " +"<widget name = 'customOption1Checkbox' " +"type = 'Checkbox' " +"/> " +"<widget name = 'customOption2Checkbox' " +"type = 'Checkbox' " +"/> " +"<widget name = 'customOption3Checkbox' " +"type = 'Checkbox' " +"/> " +"<widget name = 'customOption4Checkbox' " +"type = 'Checkbox' " +"/> " +"<widget name = 'customOption5Checkbox' " +"type = 'Checkbox' " +"/> " +"<widget name = 'customOption6Checkbox' " +"type = 'Checkbox' " +"/> " +"<widget name = 'customOption7Checkbox' " +"type = 'Checkbox' " +"/> " +"</layout> " +"</dialog> " "<dialog name='GlobalMenu' overlays='screen_center'> " "<layout type='vertical' padding='2,2,4,6' center='true' spacing='6'> " "<widget name='Title' " |