急に pxdvi が動かなくなって、変だな、と思ったら、 認知された問題だった模様。
もしかして、 XQuartz と xdvi を両方とも新しくしないといけない? もしそうだとすると、 pxdvi は置いてけぼりにされる可能性もあるのかな。
とりあえず、1つ前の XQuartz を入れておこう。
pxdvi のバージョンは関係ないみたい。 これは pxdvi というよりも、xdvi の問題あるいは XQuartz の問題らしい。 しばらくは待つことになりそう。
(2016/10/31) https://bugs.freedesktop.org/show_bug.cgi?id=96292 で
Jeremy Huddleston Sequoia 2016-09-18 22:43:25 UTC Resolved with 2.7.10_rc1. See the release notes. |
桂田 祐史