UI DPI scaling fix:
authorTon Roosendaal <ton@blender.org>
Wed, 19 Dec 2012 12:22:15 +0000 (12:22 +0000)
committerTon Roosendaal <ton@blender.org>
Wed, 19 Dec 2012 12:22:15 +0000 (12:22 +0000)
commit1dbb84c1c9a41d0c78a2ea17b0c220a1d6c1df75
treefb6c32c137e416c6a911ac19166ef3f976c75ed7
parent0d00741bf51f841385d12fa671240719ee9fcbca
UI DPI scaling fix:

2D views with scale prints (numbers over slider) now follow the text size.
source/blender/editors/interface/view2d.c