diff options
| author | Dave Davenport <qball@gmpclient.org> | 2017-02-17 14:06:31 +0100 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2017-02-17 14:06:31 +0100 |
| commit | dc7e4aa96e5fd6b3efd073d6b1d86606b0545bca (patch) | |
| tree | 1d7a83f5c1e9e8ace83790c7b428f05161f0ed66 /source/theme.c | |
| parent | f7b4bebb9b6188c5eee3d7e76c89f5b6d574f98d (diff) | |
Install some headers for use in plugins
Diffstat (limited to 'source/theme.c')
| -rw-r--r-- | source/theme.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/source/theme.c b/source/theme.c index 47e7c4a0..7c49a9ae 100644 --- a/source/theme.c +++ b/source/theme.c @@ -8,6 +8,7 @@ #include "settings.h" #include "widgets/textbox.h" #include "view.h" +#include "rofi.h" /** Logging domain for theme */ #define LOG_DOMAIN "Theme" |