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)
commitabad24e2d61c0c84ac8495c22d29a8a3a49ee9fa
tree5f797e96c3048c46cd31e81e8d983391446d1e79
parent4707a23dc7b76258f95d9522fbb6f4c7fd5cc558
CursorHeader: Use the same number format as the ruler.
pv/view/cursorheader.cpp
pv/view/ruler.cpp
pv/view/ruler.h