202411003

winit はずっと API を変更し続けていて、いまだに安定する気配がない。どのへんで苦戦しているんだろう。デスクトップとモバイルと Web のインターフェイスを統合するのは筋が悪い気がするが、関係ないかもしれない。