息子とそろそろ数字と算数遊びでも初めて遊ぼうと思ったらTuxMathはHiDPIに対応してないやんけ！

固有のバグな可能性も捨てきれないし精査して広範に影響してそうなバグであればパッチ書くかな