Wie kann ich den ziehbaren Fensterrand dicker machen, ohne das Erscheinungsbild zu ändern?

Wenn Sie die Größe eines Fensters in Gnome (wie auch in anderen Systemen) ändern möchten, können Sie am Fensterrand klicken und halten und es dann ziehen. Das Problem ist (und korrigieren Sie mich, wenn ich mich irre), dass der ziehbare Rand im Gnom nur ein paar Pixel dick ist. Das ist in der Regel etwas frustrierend und trägt zu meinen Schmerzen beim Umgang mit der Maus bei, da die Maus sehr vorsichtig bewegt werden muss.

Wie kann ich die Dicke des Bereichs ändern, auf den ich klicken kann, um die Größe eines Fensters zu ändern? Ich möchte das Erscheinungsbild des Fensterrahmens nicht verbessern, ich spreche hier nicht von Eye Candy. Ich möchte diese Funktion optimieren, um die Größe eines Fensters durch Ziehen des Rahmens zu ändern.

Gibt es irgendwo eine Einstellung, die dies ändern wird?

gnome window-manager

— Malabarba
quelle

Ich gebe zu, ich hatte diese Fragen nicht gesehen. Beide beinhalten jedoch Themen. Ich möchte die Funktionalität ändern, ohne das Erscheinungsbild zu beeinträchtigen.

— Malabarba,

Entschuldigung, ich habe die Kommentare nicht bemerkt, bevor ich meine Antwort gepostet habe. Sie können meine Antwort völlig vergessen, wenn dieser Beitrag verschoben, gelöscht usw. werden sollte

— marenostrum

@ Bruce: Die Lösung der Verwendung alt + middle-clickbeinhaltet keine Änderung des Erscheinungsbilds. Die Rahmenbreite wird nicht streng geändert, aber das gleiche Problem wird gelöst. Tatsächlich erhalten Sie einen viel größeren Bereich (das gesamte Fenster) als durch Ändern der Rahmenbreite.

— Matthew

@Matthew: Dafür brauchst du aber 2 Hände frei ...;)

— 20.

@JanC: Oder eine Ersatztaste auf Ihrer Maus, mit der Sie die Verknüpfung zu neu verknüpfen können.

Antworten:

Das kannst du nicht.

Dies ist ein drei Jahre alter Fehler ohne Lösung.

Sie müssen entweder ein anderes Thema verwenden oder das tun, was ich getan habe.

Mini-Howto:

Alt+ F8, um die Größenänderung zu starten. Verwenden Sie die Pfeiltasten, um die Größe zu ändern.

Durch Drücken der Eingabetaste wird die Größenänderung gespeichert, durch Drücken der Esc-Taste werden Sie zurückgesetzt.

Der Fehlerbericht ist hier und enthält Hunderte von Kommentaren und allein auf dem Launchpad dreizehn doppelte Fehlerberichte.

— Richard Holloway
quelle

Du kannst sozusagen. Siehe die beiden Fragen, die Jorge oben gestellt hat (insbesondere die zweite).

— Matthew

Beeindruckend. Vielen Dank. Ich melde mich bald bei Launchpad an, um diesen Fehler zu beheben.

— Malabarba 20.10.10

@ Bruce: Fahren Sie fort und folgen Sie ihm, aber kommentieren Sie ihn bitte nicht, es sei denn, Sie haben einen Patch (siehe die Warnung oben im Fehlerbericht). Die Entwickler sind sich dessen bewusst, aber es handelt sich um ein technisches Problem, und sie haben darum gebeten, keine Spam-Mails mehr zu erhalten.

— Matthew

Wie Matthew sagt, gibt es einige Antworten. Die beiden anderen Fragen zum selben Thema werden zu dieser Frage zusammengeführt: askubuntu.com/questions/4109/increase-resize-margin-on-windows Ich lösche meine Antwort, weil es für diesen Thread bessere Antworten gibt.

— Marenostrum

Nach dem Drücken können Alt+F8Sie die Größe auch mit der Maus ändern (einfach verschieben).

— 20.

Ändern Sie die folgenden Parameter in der entsprechenden Metacity XML-Datei.

Das Thema von Ambiance befindet sich in /usr/share/themes/Ambiance/metacity-1/metacity-theme-1.xml

Die folgenden Parameter ändern die Breite der Ränder und folglich die Breite des Bereichs für die Größenänderung:

"<distance name="left_width" value="1"/>"
"<distance name="right_width" value="1"/>"
"<distance name="bottom_height" value="1"/>"

Standardmäßig sind sie auf "1" gesetzt, aber ich habe festgestellt, dass das Ändern der Größe auf "4" das Erscheinungsbild nicht sehr drastisch verändert, sondern die Größenänderung mit der Maus erheblich vereinfacht.

Um das Thema neu zu laden, ohne sich abzumelden, können Sie den folgenden Befehl ausführen: metacity-message reload-theme

— gacrux

Wenn ich nur root-Zugriff auf meinen Computer hätte ...

— Seppo Enarvi

Vielen Dank @pgwulfing Dies ist endlich die Antwort, die ich gesucht habe. Die Hotkeys funktionieren bei mir nicht, weil ich über einen Chrome-Tab eine interaktive Ubuntu-Umgebung habe und die Hotkeys im besten Fall pingelig sind.

— anon58192932