Hilfe durchsuchen

Vorsicht vor Support-Betrug: Wir fordern Sie niemals auf, eine Nummer anzurufen, sie per SMS zu kontaktieren oder persönliche Daten preiszugeben. Bitte melden Sie verdächtige Aktivitäten über die Funktion „Missbrauch melden“.

Learn More

Adding page title to the URL bar via userChrome.js

  • 1 Antwort
  • 1 hat dieses Problem
  • 4 Aufrufe
  • Letzte Antwort von cor-el

more options

Hi,

Back in the old days of classic extensions, they had access to FF's GUI elements, provided such privileges were asked in a manifest file.

For example, there were extensions that added tab's title to the URL bar. And I want to do exactly that nowadays, too.

WebExtensions can not do that but this should work with userChrome.js, right?

If so, maybe someone has already done it and I simply could not find it. Does anybody know?

If not, then how do I access the URL bar object to add text (e.g. page's title) to it or something else?

Thanks in advance.

Hi, Back in the old days of classic extensions, they had access to FF's GUI elements, provided such privileges were asked in a manifest file. For example, there were extensions that added tab's title to the URL bar. And I want to do exactly that nowadays, too. WebExtensions can not do that but this should work with userChrome.js, right? If so, maybe someone has already done it and I simply could not find it. Does anybody know? If not, then how do I access the URL bar object to add text (e.g. page's title) to it or something else? Thanks in advance.

Alle Antworten (1)

more options

Maybe try to ask this at the mozillaZine forum or at Firefox subreddit forum to see if they have suggestions as I don't think there are a lot of users that make use of userChrome.js to modify the user interface or otherwise inject JavaScript.