Ich zeige Ihnen drei Lösungen, von denen jede seine Nachteile hat, aber ich hoffe, dass mindestens eine davon für Sie akzeptabel ist.
JavaScript
Dies ist wahrscheinlich die einzige nützliche Anwendung von window.resizeTo
. Art
javascript:window.resizeTo(1280,512)
in die Adressleiste. Sie können dies in einem Bookmarklet leicht umwandeln.
Nachteile
- Funktioniert nicht, wenn Sie JavaScript deaktiviert haben.
- JavaScript-Blocker greifen möglicherweise ein (NoScript jedoch nicht)
- Funktioniert mit den Standardeinstellungen von Firefox, jedoch nicht, wenn Sie das Häkchen von
Allow scripts to: Move or resize existing windows
unter entfernt habenEdit/Preferences/Content/Enable JavaScript/Advanced...
Fenstermanager
wmctrl -r Firefox -e 0,-1,-1,1280,512
Nachteile:
- Sie müssen wmctrl installiert haben (es gibt ein wmctrl- Paket für Fedora )
- Benötigt EWMH / NetWM-kompatiblen X Window Manager (Standard-Window-Manager von KDE und GNOME werden jedoch unterstützt)
- Wenn Sie mehr als ein Firefox-Fenster geöffnet haben, müssen Sie genau angeben, welches Sie ändern möchten. In der wmctrl-Dokumentation erfahren Sie, wie Sie dies tun können. Es ist nicht schwierig.
Befehlszeile
Die naheliegendste Lösung ist, Firefox mit der gewünschten Fenstergeometrie zu starten. Es startet unmaximiert, aber wenn Sie es maximieren und dann wieder unmaximieren, wird es auf die Größe verkleinert, die es zuvor hatte.
Normalerweise können Sie die Fenstergeometrie für X Window-Anwendungen wie folgt bestimmen:
firefox -geometry 1280x512+0+0
Das hat bei mir nicht funktioniert, also habe ich die Firefox-Befehlszeilenoptionen (gekürzt) nachgeschlagen:
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.
Ich habe es versucht
firefox -no-remote -height 1280 -width 512
aber das hat auch nicht funktioniert. Ich denke, das ist ein Fehler in Firefox, und vielleicht funktioniert es auch in anderen Versionen oder auf anderen Plattformen.
Nachteile
- Keine der oben genannten Funktionen funktionierte für mich mit Firefox 3.0.12 unter Ubuntu 9.04.
- Dies funktioniert nur, wenn Sie die Fenstergröße nicht manuell ändern.