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

Question

Я хочу иметь собственные имена для некоторых вкладок в последнем 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.

Answer 1

Есть более чем один способ снять кожу с этой конкретной кошки. Для вашего использования скрипт 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;
}