wmde/ValueView — pull request #58 by adrianlang (2014-06-04 10:14:39+00:00)
Title: Support editing arbitrary precisions for GlobeCoordinates

Bug 65535.