ubuntu のキーリピートが遅い 設定は、アクセシビリティ→ タイピング。(( まぁUbuntuのことだから、 18.04 ではこうだけど、すぐ場所変わるんだろうけど) ちょっとわかりにくいUIだけど、これで調整する 上部はウエイト 上部は、キーリピートが開始するまで…