W42Kその後

W42K、W43KでFlashが遅い問題に関して。
PapiJump3を色々改造してW42Kで動かしてみたところ、Flashのフレームレート設定を5, 7, 8 fpsにすると極端に遅くなって、6, 9, 10fpsではスムーズに動作することが分かった。

うーーん、謎な仕様だ…。
タイマ分解能と描画タイミングのズレとかが微妙に関係してたりするのかな？