パンタグラフって、何らかの事情でちゃんとしたキーボードを使えない環境の人が
我慢して使うものだと思っていたんだが、最近のやつは筆頭候補になるほどの物とか？
臨時用にminiの方でも試してみてもいいかな…