38 lines
803 B
INI
38 lines
803 B
INI
#textdomain wesnoth-lib
|
||
###
|
||
### Defines a gui, all widgets and windows used in a certain 'theme'.
|
||
###
|
||
|
||
[gui]
|
||
id = "default"
|
||
description = "Default"
|
||
|
||
[settings]
|
||
popup_show_delay = 200
|
||
popup_show_time = 5000
|
||
help_show_time = 0
|
||
|
||
double_click_time = 500
|
||
repeat_button_repeat_time = 350
|
||
|
||
sound_button_click = "button.wav"
|
||
sound_toggle_button_click = "checkbox.wav"
|
||
sound_toggle_panel_click = "select.wav"
|
||
sound_slider_adjust = "slider.wav"
|
||
|
||
has_helptip_message = _" (Press ‘$hotkey’ for more information)"
|
||
[/settings]
|
||
|
||
{tips.cfg}
|
||
|
||
{gui/macros/}
|
||
{gui/widget/}
|
||
{gui/window/}
|
||
|
||
# For tab sheets we need two kinds
|
||
# - 1 where we're a filter eg every irc chan looks the same
|
||
# - 1 where every page has other data
|
||
|
||
# rename set_dirty to redraw and add another one for resize
|
||
|
||
[/gui]
|