diff options
| author | Dave Davenport <qball@blame.services> | 2021-06-14 19:29:05 +0200 |
|---|---|---|
| committer | Dave Davenport <qball@blame.services> | 2021-06-14 19:29:05 +0200 |
| commit | 0f21541327418e7aaa99a8192eb79ed9c6438b88 (patch) | |
| tree | cda6a54d5ee059c796fcb7b24ab1abb9bc706bc5 /source/rofi.c | |
| parent | 828aaa231a84f9ad23cf836a71b58290b5e217e8 (diff) | |
[Configuration] Add start of more 'theme' based configuration.
Nested CSS blocks in configuration {} are parsed into
rofi_configuration.
Diffstat (limited to 'source/rofi.c')
| -rw-r--r-- | source/rofi.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/source/rofi.c b/source/rofi.c index 202ff378..b2e62805 100644 --- a/source/rofi.c +++ b/source/rofi.c @@ -472,6 +472,11 @@ static void cleanup () TIMINGS_STOP (); rofi_collect_modi_destroy ( ); rofi_icon_fetcher_destroy ( ); + + if ( rofi_configuration ) { + rofi_theme_free ( rofi_configuration ); + rofi_configuration = NULL; + } } /** |