CursorHeader: Make the size dependend on the used font.
authorJens Steinhauser <jens.steinhauser@gmail.com>
Wed, 21 May 2014 10:16:03 +0000 (12:16 +0200)
committerJens Steinhauser <jens.steinhauser@gmail.com>
Sat, 24 May 2014 16:33:43 +0000 (18:33 +0200)

No differences found