Изменение размера окна до определенного размера

Я хочу изменить размер окна игры до 1280x720. Я пробовал с wctrl и xdotools, но он не работал. Я использую 15.04.

Вот видео, показывающее проблему.