Heyho,
> when working on the campaigns, I noticed that the texts are formatted
> differently than those in the tutorial. I’d like to know whether there is an
> interest in having the style unified and which way is preferred.
>
> 1) “text” vs. [[text]]. The first one is mainly used for short t
I knew this was too easy *lol
--
https://code.launchpad.net/~widelands-dev/widelands/bug-1378801/+merge/237599
Your team Widelands Developers is subscribed to branch
lp:~widelands-dev/widelands/bug-1378801.
___
Mailing list: https://launchpad.net/~wide
Hello,
when working on the campaigns, I noticed that the texts are formatted
differently than those in the tutorial. I’d like to know whether there is an
interest in having the style unified and which way is preferred.
1) “text” vs. [[text]]. The first one is mainly used for short texts
(headl
Review: Needs Fixing
Open the new random map dialog window and increase the Wasteland to 30% - there
is mathematical problem, perhaps overflow (underflow?)...
--
https://code.launchpad.net/~widelands-dev/widelands/bug-1378801/+merge/237599
Your team Widelands Developers is subscribed to branch
GunChleoc has proposed merging lp:~widelands-dev/widelands/bug-1378801 into
lp:widelands.
Requested reviews:
Widelands Developers (widelands-dev)
Related bugs:
Bug #1378801 in widelands: "Random map: Wasteland % change not reflected in
Mountains %"
https://bugs.launchpad.net/widelands/+bug
I fixed about 30-50 missing curly brackets pairs. First I wanted to find a
script that would do the job for me, but google showed nothing at all, so I did
small one-liner with grep - to print lines with 'if' and 'else' that are
probably missing curly brackets.
As for the empty instructions, I d
6 matches
Mail list logo
