diff options
| author | Dave Davenport <qball@gmpclient.org> | 2020-01-26 12:47:04 +0100 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2020-01-26 12:47:04 +0100 |
| commit | a35a898816af16300968a4d5d9868f8a53f5c684 (patch) | |
| tree | def3b591ac0aa5c770f71b3ca9dac809aeca6814 /include | |
| parent | f8be880b45ca69f8e5a29a484018c0d6f4a38265 (diff) | |
[DRun] Add desktop cache
Add a desktop cache file. Usable for system with slow filesystems.
* -drun-use-desktop-cache
* -drun-reload-desktop-cache
Fixes: #1040
Diffstat (limited to 'include')
| -rw-r--r-- | include/settings.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/include/settings.h b/include/settings.h index 2b26cb58..b1f35e33 100644 --- a/include/settings.h +++ b/include/settings.h @@ -192,6 +192,10 @@ typedef struct /** Window Thumbnails */ gboolean window_thumbnail; + + /** drun cache */ + gboolean drun_use_desktop_cache; + gboolean drun_reload_desktop_cache; } Settings; /** Global Settings structure. */ extern Settings config; |