Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1378801 into lp:widelands

2014-10-09 Thread TiborB
Hi, I was curious and came up with another solution - see revision 7205. But review and probably some polish is still neeeded. Also, it would be reasonable and possible to add arrows (increase/decrease) also to 'mountains' -- https://code.launchpad.net/~widelands-dev/widelands/bug-1378801/+merg

Re: [Widelands-dev] Text formatting questions

2014-10-09 Thread wl-zocker
The paragraphdivider and the listdivider you wrote in some branch both close a non-existing paragraph (i.e. they have without preceding ). This is no good style I think. At the moment, there is no problem, but I fear it could break quite easily. Furthermore, they live a rather large gap (I have

Re: [Widelands-dev] Text formatting questions

2014-10-09 Thread Fòram na Gàidhlig
> 2) Good explanation. Maybe it helps with > https://bugs.launchpad.net/widelands/+bug/1366580 You'lll just have to add the paragraphdivider for now - I don't see any other way of coding this at the moment. ___ Mailing list: https://launchpad.net/~widel

Re: [Widelands-dev] Text formatting questions

2014-10-09 Thread wl-zocker
Thank you for your answers. 1) I will change it correspondently. 2) Good explanation. Maybe it helps with https://bugs.launchpad.net/widelands/+bug/1366580 3) And I will change it where I work. We’ll fix the conflicts when one of the branches has been merged. -Ursprüngliche Nachricht-

Re: [Widelands-dev] Text formatting questions

2014-10-09 Thread Fòram na Gàidhlig
>> 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 >