mirror of
https://github.com/wesnoth/wesnoth
synced 2025-04-28 05:37:02 +00:00
348d2e1bb2
This is mainly about shifting WML macro inclusions into a where clause, especially when they appear multiple times in a specific formula.
141 lines
2.1 KiB
INI
141 lines
2.1 KiB
INI
#textdomain wesnoth-lib
|
|
###
|
|
### Definition of the radio toggle button.
|
|
###
|
|
|
|
#define _GUI_TEXT X_OFFSET FONT_SIZE FONT_COLOR
|
|
[text]
|
|
x = {X_OFFSET}
|
|
y = {GUI__TEXT_VERTICALLY_CENTRED}
|
|
w = "(if(width < x_offset, 0, width - x_offset) where x_offset = {X_OFFSET})"
|
|
h = "(text_height)"
|
|
font_size = {FONT_SIZE}
|
|
color = {FONT_COLOR}
|
|
text = "(text)"
|
|
[/text]
|
|
#enddef
|
|
|
|
#define _GUI_RESOLUTION RESOLUTION WIDTH HEIGHT EXTRA_WIDTH FONT_SIZE
|
|
[resolution]
|
|
|
|
{RESOLUTION}
|
|
|
|
min_width = {WIDTH}
|
|
min_height = {HEIGHT}
|
|
|
|
default_width = {WIDTH}
|
|
default_height = {HEIGHT}
|
|
|
|
max_width = 0
|
|
max_height = {HEIGHT}
|
|
|
|
text_extra_width = {EXTRA_WIDTH}
|
|
text_font_size = {FONT_SIZE}
|
|
|
|
[state]
|
|
[enabled]
|
|
|
|
[draw]
|
|
|
|
[image]
|
|
name = "buttons/radiobox.png"
|
|
[/image]
|
|
|
|
{_GUI_TEXT ({EXTRA_WIDTH}) ({FONT_SIZE}) ({GUI__FONT_COLOR_ENABLED__TITLE}) }
|
|
|
|
[/draw]
|
|
|
|
[/enabled]
|
|
|
|
[disabled]
|
|
|
|
[draw]
|
|
|
|
[image]
|
|
name = "buttons/radiobox.png~GS()"
|
|
[/image]
|
|
|
|
{_GUI_TEXT ({EXTRA_WIDTH}) ({FONT_SIZE}) ({GUI__FONT_COLOR_DISABLED__TITLE}) }
|
|
|
|
[/draw]
|
|
|
|
[/disabled]
|
|
|
|
[focused]
|
|
|
|
[draw]
|
|
|
|
[image]
|
|
name = "buttons/radiobox-active.png"
|
|
[/image]
|
|
|
|
{_GUI_TEXT ({EXTRA_WIDTH}) ({FONT_SIZE}) ({GUI__FONT_COLOR_ENABLED__TITLE}) }
|
|
|
|
[/draw]
|
|
|
|
[/focused]
|
|
[/state]
|
|
|
|
###
|
|
### Selected
|
|
###
|
|
|
|
[state]
|
|
[enabled]
|
|
|
|
[draw]
|
|
|
|
[image]
|
|
name = "buttons/radiobox-pressed.png"
|
|
[/image]
|
|
|
|
{_GUI_TEXT ({EXTRA_WIDTH}) ({FONT_SIZE}) ({GUI__FONT_COLOR_ENABLED__TITLE}) }
|
|
|
|
[/draw]
|
|
|
|
[/enabled]
|
|
|
|
[disabled]
|
|
|
|
[draw]
|
|
|
|
[image]
|
|
name = "buttons/radiobox-pressed.png~GS()"
|
|
[/image]
|
|
|
|
{_GUI_TEXT ({EXTRA_WIDTH}) ({FONT_SIZE}) ({GUI__FONT_COLOR_DISABLED__TITLE}) }
|
|
|
|
[/draw]
|
|
|
|
[/disabled]
|
|
|
|
[focused]
|
|
|
|
[draw]
|
|
|
|
[image]
|
|
name = "buttons/radiobox-active-pressed.png"
|
|
[/image]
|
|
|
|
{_GUI_TEXT ({EXTRA_WIDTH}) ({FONT_SIZE}) ({GUI__FONT_COLOR_ENABLED__TITLE}) }
|
|
|
|
[/draw]
|
|
|
|
[/focused]
|
|
[/state]
|
|
|
|
[/resolution]
|
|
#enddef
|
|
|
|
[toggle_button_definition]
|
|
|
|
id = "radio"
|
|
description = "Radio button."
|
|
|
|
{_GUI_RESOLUTION () 30 18 25 ({GUI_FONT_SIZE_SMALL}) }
|
|
|
|
[/toggle_button_definition]
|
|
|
|
#undef _GUI_TEXT
|
|
#undef _GUI_RESOLUTION
|