Изменение размера окна до определенной ширины и высоты мгновенно

7

По какой-то причине я хочу изменить размер окна до очень большого размера, в 4-5 раз больше моего размера экрана. На данный момент я делаю это вручную, перемещая все окно, кроме одного, из экрана, а затем потянув за угол, чтобы развернуть окно. Однако это очень важно. Есть ли способ изменить размер окна на определенную высоту и ширину мгновенно? (возможно, из командной строки или с помощью небольшого приложения или что-то еще)

    
задан Pushpak Dagade 12.01.2012 в 12:23
источник

1 ответ

13

Я предлагаю два решения

wmctrl

Установите пакет wmctrl , затем вы можете изменить размер своего окна с помощью

wmctrl -r string -e 0,left,up,width,height

где string - подстрока заголовка окна, (left,up) - желаемые координаты экрана в верхнем левом углу окна, а (width,height) - желаемые размеры окна.

Для более точного выбора окна запустите wmctrl -l , который предоставит вам список записей, содержащих идентификатор окна, номер экрана и заголовок окна. Затем вы можете изменить размер определенного окна по идентификатору с помощью

wmctrl -i -r ID -e 0,left,up,width,hight

Дополнительная информация в wmctrl странице руководства.

devilspie

Установите пакет devilspie , затем создайте папку ~/.devilspie и файл my-name.ds в этой папке с содержимым:

(if (is (window_name) "My Window") (geometry "widthxheight+left+up"))

затем выполните devilspie , чтобы изменить размер вашего окна.

    
ответ дан enzotib 12.01.2012 в 13:45
источник

Ознакомьтесь с другими вопросами по меткам