tex@gentoo.org Gentoo TeX Project Use phonon for video embedding texstudio