search

Naezr / userchrome-toggle-extended

A Firefox extension to allow a user to toggle custom userchrome styles
10 stars 2 forks source link

Prefixes appended to window title alternative #5

Open jacksongoode opened 1 month ago

jacksongoode commented 1 month ago

I'm not sure if this is the intended behavior, but changing the window title is a little bit confusing and odd. Given that these titles appear in window managers, it looks a little funky. Is there another way of allowing style sheets to be targeted without changing the title of the window?

Naezr commented 1 month ago

This extension, and the themes that rely on it, are already pretty funky. So this detail with the symbols in the window title just adds more funk to it

Alas, this is the only way extensions and userChrome can interact. Changing the window title is a side effect and there is nothing you can do about it.

If you find out another way of passing information from the extension to userChrome styles, please let me know. Another option would be to disable the display of the prefix on the window title without touching the html tag [titlepreface].

Anyway, I don't know what to do about it myself. But I use GNOME and don't see window titles very often.

Naezr commented 1 month ago

https://github.com/Naezr/userchrome-toggle-extended-2/issues/1