File indexing completed on 2024-05-12 17:07:15 

0001 #!/usr/bin/env python3
0002 import sys
0003 
0004 for line in sys.stdin:
0005     line = line.rstrip()
0006     print(line, file=sys.stderr)
0007     if line.startswith("KeyboardRepeating=1"):
0008         print("KeyRepeat=nothing")
0009     elif line.startswith("KeyboardRepeating="):
0010         print("KeyRepeat=repeat")
0011 
0012 print("# DELETE KeyboardRepeating")