diff options
| author | Victor Kareh <[email protected]> | 2019-05-30 08:35:39 -0400 |
|---|---|---|
| committer | Victor Kareh <[email protected]> | 2019-06-05 10:49:37 -0400 |
| commit | 00e7af6740d3778a447ca18eeb3ccd1f749daa73 (patch) | |
| tree | 876aaf9bbdf2f7a601d6c078be2f4d36064d751c /src/ui | |
| parent | ebd42d4c0d0e9ca96dd3bc14906c573c99128b35 (diff) | |
| download | marco-00e7af6740d3778a447ca18eeb3ccd1f749daa73.tar.bz2 marco-00e7af6740d3778a447ca18eeb3ccd1f749daa73.tar.xz | |
theme: fix warning
upstream commit:
https://gitlab.gnome.org/GNOME/metacity/commit/3a3c47e3
Diffstat (limited to 'src/ui')
| -rw-r--r-- | src/ui/theme.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ui/theme.c b/src/ui/theme.c index 392daeb5..73f8fc78 100644 --- a/src/ui/theme.c +++ b/src/ui/theme.c @@ -53,6 +53,7 @@ */ #include <config.h> +#include "prefs.h" #include "theme.h" #include "theme-parser.h" #include "util.h" |