Lines Matching refs:global_ui_config
146 UiConfig global_ui_config = {0,0,0,0};
1572 global_ui_config.silent = 0; /* default */
1573 global_ui_config.brhist = 1;
1577 global_ui_config.print_clipping_info = 0;
1754 global_ui_config.print_clipping_info = 1;
1759 global_ui_config.brhist = 0;
1805 if (global_ui_config.silent < 9) {
1814 if (global_ui_config.silent < 9) {
1842 if (global_ui_config.silent < 9) {
1848 if (global_ui_config.silent < 10)
1858 if (global_ui_config.silent < 9) {
1980 global_ui_config.silent = 10; /* on a scale from 1 to 10 be very silent */
1983 global_ui_config.silent = 9;
1986 global_ui_config.silent = -5; /* print few info on screen */
1989 global_ui_config.silent = -10; /* print a lot on screen */
2044 global_ui_config.update_interval = (float) double_value;
2389 global_ui_config.silent = 5;
2516 if (global_ui_config.silent == 0) { /* user didn't overrule default behaviour */
2517 global_ui_config.silent = 1;