decimal separator is always dot, or is locale dependent ?

Everything related to VLC media player translations: new translations, corrections, ...
secarica
Blank Cone
Blank Cone
Posts: 95
Joined: 25 Oct 2005 00:27
Location: Romania, Earth
Contact:

decimal separator is always dot, or is locale dependent ?

Postby secarica » 21 Jun 2007 00:09

Some program settings includes a decimal separator (let's say 1.33333 pixel squareness value).

The decimal separator should always be dot, or it can also be as specified in the system locale decimal separator settings ?

I need to know this (1) just to know this and (2) I am curious if I have to take this into account when translating some tooltips.

Cristi
... I think it's too hard to think

Jean-Baptiste Kempf
Site Administrator
Site Administrator
Posts: 37523
Joined: 22 Jul 2005 15:29
VLC version: 4.0.0-git
Operating System: Linux, Windows, Mac
Location: Cone, France
Contact:

Postby Jean-Baptiste Kempf » 21 Jun 2007 10:27

I think it is locale/OS dependent.
Jean-Baptiste Kempf
http://www.jbkempf.com/ - http://www.jbkempf.com/blog/category/Videolan
VLC media player developer, VideoLAN President and Sites administrator
If you want an answer to your question, just be specific and precise. Don't use Private Messages.

xtophe
Big Cone-huna
Big Cone-huna
Posts: 1209
Joined: 24 Nov 2003 10:12
Location: Bristol, England

Re: decimal separator is always dot, or is locale dependent ?

Postby xtophe » 25 Jun 2007 00:54

I think it might also depends of the GUI toolkit used
Xtophe

dionoea
Cone Master
Cone Master
Posts: 5157
Joined: 03 Dec 2003 23:09
Location: Paris, France

Re: decimal separator is always dot, or is locale dependent ?

Postby dionoea » 25 Jun 2007 10:45

AFAIK we specifically force it to dot to prevent localisation issues with the GUI toolkits and config file writting.
Antoine Cellerier
dionoea
(Please do not use private messages for support questions)

msary80
New Cone
New Cone
Posts: 3
Joined: 27 Dec 2007 17:37

Re: decimal separator is always dot, or is locale dependent ?

Postby msary80 » 27 Dec 2007 17:44

Yes, it is locale/OS dependent.




-----------------------------------------------------------------------------
Create and start managing media player


Return to “VLC media player Translations”

Who is online

Users browsing this forum: No registered users and 11 guests