diff options
author | Ton Roosendaal <ton@blender.org> | 2013-01-23 20:01:35 +0400 |
---|---|---|
committer | Ton Roosendaal <ton@blender.org> | 2013-01-23 20:01:35 +0400 |
commit | 17b1c19054f992699384708e194147a905ee9739 (patch) | |
tree | f3241650bdb493bd7b320929fceeebdb17c07668 /release | |
parent | 36641078f875c1bf12b37a39112a03a3adfc79fe (diff) |
UI todo:
Added "Panel Title" style to Theme settings.
Allows to make these nice larger or draw differently.
Also tried to put hinting in Style, but this needs to be a per-font
setting. uiFont data is still not being saved (also not allowing
to set own font files for UI). That's a todo for 267 then.
Diffstat (limited to 'release')
-rw-r--r-- | release/scripts/startup/bl_ui/space_userpref.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/release/scripts/startup/bl_ui/space_userpref.py b/release/scripts/startup/bl_ui/space_userpref.py index daf9190e766..dad729077e0 100644 --- a/release/scripts/startup/bl_ui/space_userpref.py +++ b/release/scripts/startup/bl_ui/space_userpref.py @@ -800,6 +800,13 @@ class USERPREF_PT_theme(Panel): style = context.user_preferences.ui_styles[0] + ui = style.panel_title + col.label(text="Panel Title:") + ui_style_items(col, ui) + + col.separator() + col.separator() + ui = style.widget col.label(text="Widget:") ui_style_items(col, ui) |