diff options
| author | Victor Kareh <[email protected]> | 2018-05-31 10:40:50 -0400 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2018-06-06 14:16:14 +0200 |
| commit | 2d3406f482a341805f9827b95e4b588feb0218ce (patch) | |
| tree | b7bb43e1597be634ba14bd8846464351d0208b99 /.github/issue_template.md | |
| parent | 07eb4181d15ed9622aec95a37822f777fa7dd0ca (diff) | |
| download | mate-panel-2d3406f482a341805f9827b95e4b588feb0218ce.tar.bz2 mate-panel-2d3406f482a341805f9827b95e4b588feb0218ce.tar.xz | |
workspace-switcher: provide themed fallback color
When a theme does not specify a color for the highlighted workspace, we can look it up from the current theme and provide that as a fallback color.
Fixes #807
Diffstat (limited to '.github/issue_template.md')
0 files changed, 0 insertions, 0 deletions