mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-07 22:04:13 +00:00
4e30569988
When a widget has both a tooltip and helptip a small text to notify the user about it. This also means when there is a helptip the tooltip needs to have a text.
39 lines
829 B
INI
39 lines
829 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]
|
|
|
|
{hardwired/tips.cfg}
|
|
|
|
{gui/default/macros/}
|
|
{gui/default/window/}
|
|
{gui/default/widget/}
|
|
|
|
# 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]
|