Сам DivXPlayer ставился через rpm в KDE. Интерфейс у проги графический. В графических настройках, к сожалению, кроме выбора размера окна ничего нет. Подозреваю, что надо где-то править ручками. Но в виду своего чайникоподобия в Linux, где и как догадаться пока не могу. Но это явление временное.
