UI tweak: properties editor header now has same size as other headers again.
authorBrecht Van Lommel <brechtvanlommel@pandora.be>
Thu, 19 May 2011 11:45:06 +0000 (11:45 +0000)
committerBrecht Van Lommel <brechtvanlommel@pandora.be>
Thu, 19 May 2011 11:45:06 +0000 (11:45 +0000)
commit417b7836ece014bdabd1493e2c06ea6ed530e939
treece41ac080bfca51fe16596dfc183b5823f660cfb
parent525f4e226e1bf42782c0dba7bcf0d9e3bfa9b0d4
UI tweak: properties editor header now has same size as other headers again.
source/blender/editors/space_buttons/buttons_header.c
source/blender/editors/space_buttons/buttons_intern.h
source/blender/editors/space_buttons/space_buttons.c