F4

Soweit ich weiss, gibt es dazu keine Einstellungsmöglichkeit.
Aber wenn du bereit bist, dich ein wenig mit der userChrome.js (siehe dazu hier) zu befassen, kannst du diese Funktion nutzen:

var map = {};
onkeydown = onkeyup = function(e){
	e = e || event;
	map[e.keyCode] = e.type == 'keydown';
	/* map[115] = F4 */
	if( map[115] == true ) {
		document.getElementById('sidebar-button').click();
		map = {};
	}
}

Zitat von lionsson

Meine userChrome.js editieren und Deinen Code aus #2 hinzufügen? Wenn ja, wie editiere ich eine js-Datei?

Einfach in einem Texteditor öffnen, eine js-Datei ist eine einfache Textdatei.

Du öffnest einen Editor - aber nicht Word, OpenOffice und dergleichen -, kopierst den Code hinein und speicherst die Datei. Ganz allgemein ist es üblich, die Datei mit der Endung uc.js zu benennen, also etwa meinScript.uc.js. Nach einem Neustart des Browsers wird dein Script dann automatisch durch die userChrome.js eingebunden und sollte dann ausführbar sein.

Gern geschehen.

In die userChrome.js darf man gar nicht eintragen. Die sorgt nur dafür, das die Scripte im Verzeichnis chrome ausgeführt werden.
Und nein, es schadet der Performance nicht. Es spielt praktisch keine Rolle, ob man alle Funktionen in ein Script packt oder auf mehrere Dateien aufteilt. Aber wegen Fehlerbehandlungen und Übersichtlichkeit sind mehrere Dateien auf jeden Fall besser.

So sieht's aus.

// userChrome.js
userChrome.ignoreCache = true;
userChrome.import("*", "UChrm");