2017-08-30 key repeatk変更 Linux old (default) キーリピートするまでの時間 500 リピート速度 20 new キーリピートするまでの時間 200 リピート速度 10