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 /source/xrmoptions.c | |
| 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 'source/xrmoptions.c')
| -rw-r--r-- | source/xrmoptions.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/source/xrmoptions.c b/source/xrmoptions.c index 657a1d48..fa1d158e 100644 --- a/source/xrmoptions.c +++ b/source/xrmoptions.c @@ -225,6 +225,10 @@ static XrmOption xrmOptions[] = { "Directory where history and temporary files are stored.", CONFIG_DEFAULT }, { xrm_Boolean, "window-thumbnail", { .snum = &config.window_thumbnail }, NULL, "Show window thumbnail in window switcher if availalbe.", CONFIG_DEFAULT }, + { xrm_Boolean, "drun-use-desktop-cache", { .snum = &config.drun_use_desktop_cache }, NULL, + "DRUN: build and use a cache with desktop file content.", CONFIG_DEFAULT }, + { xrm_Boolean, "drun-reload-desktop-cache", { .snum = &config.drun_reload_desktop_cache}, NULL, + "DRUN: If enabled, reload the cache with desktop file content.", CONFIG_DEFAULT }, }; /** Dynamic array of extra options */ |