Searched refs:skip_duplicate_key_events (Results 1 – 6 of 6) sorted by relevance
5848 skip_duplicate_key_events ? "-skip_dups":"-noskip_dups", in print_help()
312 extern int skip_duplicate_key_events;
401 int skip_duplicate_key_events = SKIPDUPS; variable
2722 skip_duplicate_key_events); in process_remote_cmd()2726 skip_duplicate_key_events = 1; in process_remote_cmd()2732 !skip_duplicate_key_events); in process_remote_cmd()2736 skip_duplicate_key_events = 0; in process_remote_cmd()
1535 fprintf(stderr, " skip_dups: %d\n", skip_duplicate_key_events); in print_settings()3252 skip_duplicate_key_events = 1; in main()3256 skip_duplicate_key_events = 0; in main()
3101 if (skip_duplicate_key_events) { in keyboard()