CursorHeader: Use the same number format as the ruler.
authorJens Steinhauser <jens.steinhauser@gmail.com>
Wed, 21 May 2014 13:02:13 +0000 (15:02 +0200)
committerJens Steinhauser <jens.steinhauser@gmail.com>
Sat, 24 May 2014 16:33:43 +0000 (18:33 +0200)

No differences found