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 /data/linuxmint.layout | |
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 'data/linuxmint.layout')
0 files changed, 0 insertions, 0 deletions