diff options
| author | George Vogiatzis <Gvgeo> | 2019-04-05 14:48:26 +0300 |
|---|---|---|
| committer | Jacques Lucke <mail@jlucke.com> | 2019-04-05 14:48:26 +0300 |
| commit | a180b754eb40637a5d37eeb0ae60066f5a6f93d8 (patch) | |
| tree | 3871e253a8f3b861b27dfd3f666535adffc606b0 /source/blender/editors/interface/resources.c | |
| parent | fce469a30c5075216671f9ce3738ed401ad9c03f (diff) | |
Interface: New region type 'Footer', used by text editor
* It can be hidden by dragging it up/down.
* It can be at the top or bottom, independent of the header.
* It uses the color theme from the header.
* It does not change its color, when the area becomes active.
Currently, it is used in the text editor to display the file path.
Differential Revision: https://developer.blender.org/D4601
Diffstat (limited to 'source/blender/editors/interface/resources.c')
| -rw-r--r-- | source/blender/editors/interface/resources.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/source/blender/editors/interface/resources.c b/source/blender/editors/interface/resources.c index 72739b99e14..8d908375c1b 100644 --- a/source/blender/editors/interface/resources.c +++ b/source/blender/editors/interface/resources.c @@ -173,7 +173,7 @@ const uchar *UI_ThemeGetColorPtr(bTheme *btheme, int spacetype, int colorid) else if (theme_regionid == RGN_TYPE_CHANNELS) { cp = ts->list; } - else if (theme_regionid == RGN_TYPE_HEADER) { + else if (ELEM(theme_regionid, RGN_TYPE_HEADER, RGN_TYPE_FOOTER)) { cp = ts->header; } else if (theme_regionid == RGN_TYPE_NAV_BAR) { @@ -207,7 +207,7 @@ const uchar *UI_ThemeGetColorPtr(bTheme *btheme, int spacetype, int colorid) else if (theme_regionid == RGN_TYPE_CHANNELS) { cp = ts->list_text; } - else if (theme_regionid == RGN_TYPE_HEADER) { + else if (ELEM(theme_regionid, RGN_TYPE_HEADER, RGN_TYPE_FOOTER)) { cp = ts->header_text; } else { @@ -221,7 +221,7 @@ const uchar *UI_ThemeGetColorPtr(bTheme *btheme, int spacetype, int colorid) else if (theme_regionid == RGN_TYPE_CHANNELS) { cp = ts->list_text_hi; } - else if (theme_regionid == RGN_TYPE_HEADER) { + else if (ELEM(theme_regionid, RGN_TYPE_HEADER, RGN_TYPE_FOOTER)) { cp = ts->header_text_hi; } else { @@ -235,7 +235,7 @@ const uchar *UI_ThemeGetColorPtr(bTheme *btheme, int spacetype, int colorid) else if (theme_regionid == RGN_TYPE_CHANNELS) { cp = ts->list_title; } - else if (theme_regionid == RGN_TYPE_HEADER) { + else if (ELEM(theme_regionid, RGN_TYPE_HEADER, RGN_TYPE_FOOTER)) { cp = ts->header_title; } else { |