Re: [Widelands-dev] Text formatting questions

2014-10-10 Thread Fòram na Gàidhlig
he latter one might be the better option. Could that work? > > -Ursprüngliche Nachricht- From: Fòram na Gàidhlig > Sent: Thursday, October 09, 2014 6:54 PM > To: widelands-dev@lists.launchpad.net > Subject: Re: [Widelands-dev] Text formatting questions > >> 2) Good explanation. Mayb

Re: [Widelands-dev] Text formatting questions

2014-10-09 Thread wl-zocker
ght be the better option. Could that work? -Ursprüngliche Nachricht- From: Fòram na Gàidhlig Sent: Thursday, October 09, 2014 6:54 PM To: widelands-dev@lists.launchpad.net Subject: Re: [Widelands-dev] Text formatting questions 2) Good explanation. Maybe it helps with https://bugs.lau

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
- From: Fòram na Gàidhlig Sent: Thursday, October 09, 2014 12:47 PM To: widelands-dev@lists.launchpad.net Subject: Re: [Widelands-dev] Text formatting questions >> when working on the campaigns, I noticed that the texts are formatted >> differently than those in the tutorial. I’d

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 >

Re: [Widelands-dev] Text formatting questions

2014-10-08 Thread Holger Rapp
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

[Widelands-dev] Text formatting questions

2014-10-08 Thread wl-zocker
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