С момента выхода Firefox «5» я очень полюбил новую функцию «Вкладки приложений». Однако теперь я понял, что у нескольких внутренних веб-сайтов на работе нет значков. Поэтому, когда я делаю вкладку приложения из этих сайтов, на вкладке появляется только значок «пустая страница».
Возможно, я бы не стал возражать, если бы был только один, но их как минимум два или три. Так что немного раздражает необходимость навести курсор мыши на вкладки приложения, чтобы понять, что к чему.
Я пытался использовать Favicon Picker 2 для изменения значков закладок, но он делает именно это - меняет значок в папке закладок. Он не меняет значок, отображаемый рядом с URL-адресом в адресной строке или рядом с заголовком страницы на вкладках - последний является тем, который используется для значка вкладки приложения.
Итак, есть ли плагин или другой клиентский (и, предпочтительно, дружественный к пользователю) метод для назначения значка веб-странице или домену, который будет использоваться на панели вкладок?
Я изменил значки моей вкладки (Firefox 26), используя следующую таблицу стилей:
Чтобы использовать эту таблицу стилей, либо вставьте ее
[path to your profile]/chrome/userChrome.css
, либо установите менеджер стилей пользователя, такой как Stylish .Это работает следующим образом: вкладки в Firefox являются частью дерева документов (см. Browser.xul ):
Метка вкладки соответствует заголовку вкладки. В моем примере я хотел добавить значок на вкладку списка рассылки W3. К сожалению, у него нет ни одного заголовка, поэтому мне пришлось искать что-то относительно уникальное, соответствующее вкладке. Оказывается, что соответствующие страницы имели название "w3.org", что привело к созданию
[label*="w3.org"]
.Точно так же сайт моего университета не имеет значков. Все названия начинаются с "TU", поэтому я использовал
[label^="TU"]
.Более общие селекторы:
[label$="last words"]
,[label="Exact match"]
.Отрицание:
[label*="w3.org"]:not([label$="- Gmail"])
(= выберите вкладки, название которых содержит «w3.org», если только они не заканчиваются на «- Gmail»).Если ваши закрепленные вкладки никогда не меняют положение, то вы также можете попробовать что-то вроде этого, чтобы изменить значок первой вкладки:
источник