Пользовательские имена для вкладок в Firefox?

1512
Radek

Я хочу иметь собственные имена для некоторых вкладок в последнем Firefox.

У меня открыто много вкладок, и некоторые из них представляют разные сборки одного и того же приложения. Это означает, что я вижу один и тот же значок и тот же текст. Было бы здорово, если бы я мог назвать их (в идеале, навсегда, как я их отметил ), как v3.0, v3.0.4, v3.05

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 

похоже, что TabRenamizer не работает с последней сборкой Firefox.

6

1 ответ на вопрос

3
Gilles

Есть более чем один способ снять кожу с этой конкретной кошки. Для вашего использования скрипт Greasemonkey выглядит уместно. Поскольку версия вашего приложения легко извлекается из URL, скрипт может выглядеть так:

var match_data = document.URL.match(/^[a-z]+:\/\/[^\/]*\/imacs\/radek\/([0-9.]+)\//); if (match_data != null) { document.title = match_data[1] + " " + document.title; } 
Greasemonkey замедлит Firefox? Radek 13 лет назад 0
Я обновил свой вопрос некоторым примером того, чего я хочу достичь. Итак, вы думаете, что я могу использовать скрипт, чтобы переименовать заголовок документа, если у меня новая версия 3.0.6? Radek 13 лет назад 0
@Radek: скрипт извлекает номер версии из URL. Вы можете легко адаптировать регулярное выражение или выражение построения заголовка, если оно не совсем то, что вы хотите. Greasemonkey заставит каждую загрузку страницы занимать примерно 1 мкс медленнее - другими словами, я не думаю, что это имеет какое-то видимое значение. Gilles 13 лет назад 0

Похожие вопросы