widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #04224
[Merge] lp:~widelands-dev/widelands/economy_tutorial_fix into lp:widelands
GunChleoc has proposed merging lp:~widelands-dev/widelands/economy_tutorial_fix into lp:widelands.
Requested reviews:
wl-zocker (wl-zocker)
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/economy_tutorial_fix/+merge/266519
Economy tutorial: the building statistics window needs some time to build its contents.
--
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/economy_tutorial_fix.
=== modified file 'campaigns/tutorial04_economy.wmf/scripting/mission_thread.lua'
--- campaigns/tutorial04_economy.wmf/scripting/mission_thread.lua 2015-06-10 13:01:28 +0000
+++ campaigns/tutorial04_economy.wmf/scripting/mission_thread.lua 2015-07-31 06:24:29 +0000
@@ -23,6 +23,7 @@
sleep(500)
o.done = true
+ sleep(1000) -- The building statistics window needs some time to build up
o = message_box_objective(plr,explain_building_stat)
-- We cannot create several objectives with the same name. Therefore, we create o2 here once and change its visibility
local o2 = add_campaign_objective(reopen_building_stat_obj)
Follow ups
-
[Merge] lp:~widelands-dev/widelands/economy_tutorial_fix into lp:widelands
From: noreply, 2015-08-02
-
Re: [Merge] lp:~widelands-dev/widelands/economy_tutorial_fix into lp:widelands
From: GunChleoc, 2015-08-02
-
Re: [Merge] lp:~widelands-dev/widelands/economy_tutorial_fix into lp:widelands
From: wl-zocker, 2015-08-01
-
Re: [Merge] lp:~widelands-dev/widelands/economy_tutorial_fix into lp:widelands
From: GunChleoc, 2015-08-01
-
Re: [Merge] lp:~widelands-dev/widelands/economy_tutorial_fix into lp:widelands
From: wl-zocker, 2015-08-01
-
Re: [Merge] lp:~widelands-dev/widelands/economy_tutorial_fix into lp:widelands
From: GunChleoc, 2015-07-31
-
Re: [Merge] lp:~widelands-dev/widelands/economy_tutorial_fix into lp:widelands
From: wl-zocker, 2015-07-31
-
Re: [Merge] lp:~widelands-dev/widelands/economy_tutorial_fix into lp:widelands
From: GunChleoc, 2015-07-31
-
Re: [Merge] lp:~widelands-dev/widelands/economy_tutorial_fix into lp:widelands
From: wl-zocker, 2015-07-31
-
Re: [Merge] lp:~widelands-dev/widelands/economy_tutorial_fix into lp:widelands
From: GunChleoc, 2015-07-31
-
Re: [Merge] lp:~widelands-dev/widelands/economy_tutorial_fix into lp:widelands
From: wl-zocker, 2015-07-31