diff options
| author | Dave Davenport <qball@gmpclient.org> | 2020-05-12 10:34:04 +0200 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2020-05-12 10:40:50 +0200 |
| commit | 2ccc65ff5284c3f7344443e3ee0b7f38f207b235 (patch) | |
| tree | 8bcb5e5b948ea3e83cfcc8b35be1e75f647e19e7 /config | |
| parent | 865821f829e4307b84da55c4576020de50d071e1 (diff) | |
Add some ui benchmark code
Diffstat (limited to 'config')
| -rw-r--r-- | config/config.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/config/config.c b/config/config.c index 62adab5d..fe8fcc42 100644 --- a/config/config.c +++ b/config/config.c @@ -161,5 +161,7 @@ Settings config = { .cache_dir = NULL, .window_thumbnail = FALSE, .drun_use_desktop_cache = FALSE, - .drun_reload_desktop_cache = FALSE + .drun_reload_desktop_cache = FALSE, + /** Benchmarks */ + .benchmark_ui = FALSE }; |