UI: tweak header position button
authorCampbell Barton <ideasman42@gmail.com>
Wed, 6 Feb 2019 10:39:06 +0000 (21:39 +1100)
committerCampbell Barton <ideasman42@gmail.com>
Wed, 6 Feb 2019 10:39:57 +0000 (21:39 +1100)
commitf7613cf41ceb4d31d8a869e27cef4781a83e09db
treec6c9a9595801e0c38229a56608549e84086ce877
parentafd4bf869498782a56304cd127192161a0a40996
UI: tweak header position button

Be less prominent.
release/scripts/startup/bl_ui/space_userpref.py