Benutzerdefinierte Namen für Registerkarten in Firefox?

1594
Radek

Ich möchte benutzerdefinierte Namen für einige Registerkarten im neuesten Firefox haben.

Ich habe viele Tabs geöffnet, und einige von ihnen repräsentieren unterschiedliche Versionen derselben Anwendung. Es bedeutet, dass ich dasselbe Favicon und denselben Text sehen kann. Es wäre großartig, wenn ich sie (im Idealfall dauerhaft, da ich sie mit einem Lesezeichen versehen habe) wie v3.0, v3.0.4, v3.05 benennen kann

So the tab name would be  3.0 for http://wwwdev/imacs/radek/3.0/pages/main/login.php 3.0.4 for http://wwwdev/imacs/radek/3.0.4/pages/main/login.php 3.0.5 for http://wwwdev/imacs/radek/3.0.5/pages/main/login.php 

Es sieht so aus, als würde TabRenamizer mit dem neuesten Firefox-Build nicht funktionieren.

6

1 Antwort auf die Frage

3
Gilles

Es gibt mehr als eine Möglichkeit, diese Katze zu häuten. Für Ihre Verwendung sieht ein Greasemonkey- Skript angemessen aus. Da die Version Ihrer Anwendung leicht aus der URL extrahiert werden kann, könnte das Skript folgendermaßen aussehen:

var match_data = document.URL.match(/^[a-z]+:\/\/[^\/]*\/imacs\/radek\/([0-9.]+)\//); if (match_data != null) { document.title = match_data[1] + " " + document.title; } 
Wird Greasemonkey Firefox langsamer machen? Radek vor 13 Jahren 0
Ich habe meine Frage mit einigen Beispielen aktualisiert, was ich erreichen möchte. Sie glauben also, dass ich das Skript verwenden kann, um den Dokumenttitel umzubenennen, falls ich eine neue Version 3.0.6 habe? Radek vor 13 Jahren 0
@ Radek: Das Skript extrahiert die Versionsnummer aus der URL. Sie können den Regex-Ausdruck oder den Titelkonstruktionsausdruck leicht anpassen, wenn er nicht genau Ihren Vorstellungen entspricht. Mit Greasemonkey dauert das Laden jeder Seite etwa 1µs langsamer - anders ausgedrückt: Ich glaube nicht, dass dies einen sichtbaren Unterschied ausmacht. Gilles vor 13 Jahren 0