Focus events can cause trouble if left on and they can't be turned off

during idle periods (like the other states are) because we'd miss
events. So add a server option to control them. Defaults to off.
This commit is contained in:
Nicholas Marriott
2013-06-23 13:10:46 +00:00
committed by Thomas Adam
parent 777be296ee
commit c7a121cfc0
5 changed files with 41 additions and 4 deletions

View File

@ -75,6 +75,11 @@ const struct options_table_entry server_options_table[] = {
.default_num = 0
},
{ .name = "focus-events",
.type = OPTIONS_TABLE_FLAG,
.default_num = 0
},
{ .name = "quiet",
.type = OPTIONS_TABLE_FLAG,
.default_num = 0 /* overridden in main() */