なんて Python 製プレイヤーを見つけた。
でもインストールしないと起動できないみたい…
まあ思いっきり作りかけのようだけど参考にさせてもらおう。
同じ処理にならないように考えながら。
リサイズ処理は未実装だなぁと思ったけど…他の所にこんなのが。
rc = widget.get_allocation()
で GdkRectangle が取れる！この方法があったか。
rc.width で FILL でも幅が解る、これでリサイズはなんとかなりそうだ。
なんだよ、GetWindowRect() 相当が Gtk+ にもあったんだ。
self.player.get_property(“stream-info-value-array”)
で GstStreamInfo のリストが取れるようだ。
stream-info だけでは gobject.GPointer が返ってくるだけだもん。
のでどうにもできなかった、使うなと書いてあるし。
しかしコレをどう展開すればいいのかな？いまココ。
しかし…
たいしてカスタマイズしていない Opera だが毎日無茶な使い方をしている。