diff options
| author | Brecht Van Lommel <brechtvanlommel@pandora.be> | 2011-11-20 00:57:53 +0400 |
|---|---|---|
| committer | Brecht Van Lommel <brechtvanlommel@pandora.be> | 2011-11-20 00:57:53 +0400 |
| commit | 7217518179d9ed0c2aeda835402ac019884ee461 (patch) | |
| tree | 2eac01328a59738a8a561b8d450476cd5303522e /release | |
| parent | 807a76d9430b6b6e30fd6f09d6000f093c37dea4 (diff) | |
UI:
* Add theme option to show panel header background.
* Draw panel collapse widget a bit smaller.
* Add theme option to draw icons muted.
* Code tweak: replace U.themes.first by UI_GetTheme() calls.
Diffstat (limited to 'release')
| -rw-r--r-- | release/scripts/startup/bl_ui/space_userpref.py | 43 |
1 files changed, 41 insertions, 2 deletions
diff --git a/release/scripts/startup/bl_ui/space_userpref.py b/release/scripts/startup/bl_ui/space_userpref.py index c889e7f3de6..d71d57509c1 100644 --- a/release/scripts/startup/bl_ui/space_userpref.py +++ b/release/scripts/startup/bl_ui/space_userpref.py @@ -634,12 +634,51 @@ class USERPREF_PT_theme(Panel): colsub.row().prop(ui, "inner_key_sel") colsub.row().prop(ui, "blend") + col.separator() + col.separator() + ui = theme.user_interface + col.label("Icons:") + + row = col.row() + + subsplit = row.split(percentage=0.95) + + padding = subsplit.split(percentage=0.15) + colsub = padding.column() + colsub = padding.column() + colsub.row().prop(ui, "icon_file") + + subsplit = row.split(percentage=0.85) + + padding = subsplit.split(percentage=0.15) + colsub = padding.column() + colsub = padding.column() + colsub.row().prop(ui, "icon_alpha") + col.separator() col.separator() - split = col.split(percentage=0.93) - split.prop(ui, "icon_file") + ui = theme.user_interface.panel + col.label("Panels:") + + row = col.row() + + subsplit = row.split(percentage=0.95) + + padding = subsplit.split(percentage=0.15) + colsub = padding.column() + colsub = padding.column() + rowsub = colsub.row() + rowsub.prop(ui, "show_header") + rowsub.label() + + subsplit = row.split(percentage=0.85) + + padding = subsplit.split(percentage=0.15) + colsub = padding.column() + colsub = padding.column() + colsub.row().prop(ui, "header") layout.separator() layout.separator() |