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 /source/rofi.c | |
| parent | 865821f829e4307b84da55c4576020de50d071e1 (diff) | |
Add some ui benchmark code
Diffstat (limited to 'source/rofi.c')
| -rw-r--r-- | source/rofi.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/source/rofi.c b/source/rofi.c index b839109a..88002324 100644 --- a/source/rofi.c +++ b/source/rofi.c @@ -1094,6 +1094,9 @@ int main ( int argc, char *argv[] ) if ( find_arg_uint ( "-record-screenshots", &interval ) ) { g_timeout_add ( 1000 / (double) interval, record, NULL ); } + if ( find_arg ( "-benchmark-ui" ) >= 0 ) { + config.benchmark_ui = TRUE; + } rofi_view_workers_initialize (); rofi_icon_fetcher_init ( ); |