Last modified: 2011-11-17 21:25:03 UTC
I use decimal minutes format: $egMapsCoordinateNotation = Maps_COORDS_DM; Example of code: * [[Coordinates::45° 0.001' N, 45° 0.001' E]] * {{ #show: {{ FULLPAGENAME }} | ?Coordinates }} Result: * 45° 0.0010000000000332' N, 45° 0.0010000000000332' E * 45° 0.0010000000200705' N, 45° 0.0010000000200705' E For current GPS-based applications, there is far too many decimal digits. 3 (or 4) digits will be enough for Maps_COORDS_DM format. For applications where higher precision is desirable, configuration settings could be implemented.
Created attachment 9445 [details] Proposed patch.
Thanks for the patch :) Looks valid. Will verify and apply tomorrow. Still haven't gotten commit access? :)
Applied in r103157
Verified on r103511.