mirror of
https://github.com/wesnoth/wesnoth
synced 2025-04-28 19:32:35 +00:00
insert missing helptip + tooltip (fix for bug #18660)
This commit is contained in:
parent
5eca045108
commit
ce596164bf
@ -382,6 +382,8 @@ local result = wesnoth.synchronize_choice(function()
|
||||
local T = helper.set_wml_tag_metatable {}
|
||||
local _ = wesnoth.textdomain "wesnoth"
|
||||
local dialog = {
|
||||
T.helptip { id = "helptip_large" },
|
||||
T.tooltip { id = "tooltip_large" },
|
||||
T.grid { T.row {
|
||||
T.column { T.grid {
|
||||
T.row { T.column { horizontal_grow = true, T.listbox { id = "the_list",
|
||||
|
Loading…
x
Reference in New Issue
Block a user