Я покажу вам три решения, каждое из которых имеет свои недостатки, но я надеюсь, что хотя бы одно из них приемлемо для вас.
JavaScript
Это, вероятно, единственное полезное приложение window.resizeTo
. Тип
javascript:window.resizeTo(1280,512)
в адресную строку. Вы можете легко превратить это в букмарклет.
Недостатки
- Не работает, если у вас отключен JavaScript.
- Блокировщики JavaScript могут мешать (но NoScript этого не делает)
- Работает со стандартными настройками Firefox, но не работает, если вы сняли флажок «
Allow scripts to: Move or resize existing windows
в меню « Edit/Preferences/Content/Enable JavaScript/Advanced...
Оконный менеджер
wmctrl -r Firefox -e 0,-1,-1,1280,512
Недостатки:
- Вам нужно будет установить wmctrl (есть пакет wmctrl для Fedora)
- Требуется совместимый с EWMH/NetWM X Window Manager (хотя поддерживаются оконные менеджеры KDE и GNOME по умолчанию)
- Если у вас открыто более одного окна Firefox, вам нужно будет указать, какое именно окно вы хотите изменить. Посмотрите документацию wmctrl о том, как вы можете это сделать, это не сложно.
Командная строка
Наиболее очевидным решением является запуск Firefox с желаемой геометрией окна.
Он начнется без максимизации, но если вы максимизируете, а затем снова не максимизируете, он уменьшится до размера, который был раньше.
Обычно вы можете определить геометрию окна для приложений X Window следующим образом:
firefox -geometry 1280x512+0+0
Это не сработало для меня, поэтому я посмотрел параметры командной строки Firefox (сокращенно):
Usage: firefox [ options ... ] [URL]
where options include:
-height <value> Set height of startup window to <value>.
-width <value> Set width of startup window to <value>.
-no-remote Open new instance, not a new window in running instance.
Я старался
firefox -no-remote -height 1280 -width 512
но это тоже не сработало. Я думаю, что это ошибка в Firefox, и, возможно, она работает в других версиях или на других платформах.
Недостатки
- Ничто из вышеперечисленного не работало для меня с Firefox 3.0.12 в Ubuntu 9.04.
- Это работает только до тех пор, пока вы не измените размер окна вручную.