ubuntu のキーリピートが遅い
設定は、アクセシビリティ→ タイピング。(( まぁUbuntuのことだから、 18.04 ではこうだけど、すぐ場所変わるんだろうけど)
ちょっとわかりにくいUIだけど、これで調整する
上部はウエイト
上部は、キーリピートが開始するまでの時間。つまりリピートウエイト
左に行くほど時間間隔が小さい、つまり左ほど早い
下部はリピート間隔
下部は、キーリピートが発生するまでの時間。つまりリピート間隔
左に行くほど時間間隔が小さい、つまり左ほど早い。したがって左に行くほど入力回数が多くリピートが多い
右に行くほど、時間間隔が大きい。つまり右ほど遅い。したがって右に行くほど入力回数が少ないキーリピートが少ない。
わかりにくいUI
左に行くほど大きいと思いがちなので、一瞬混乱する。→に行くほど時間が大きい。
つまり「右＝遅い」
ubuntu 18.x なので
たぶんGNOMEのデスクトップでも同様だと思います。
2019-01-17
