Nate Reinar Windwood

What do you mean, there isn’t a simple fix? What’s the ~~excuse~~ reason not to use @font-face? Usually, there is none. Relying on the user having a certain font is...

The same thing happens with the Telegram chat list when the extension in enabled but only when the Extensions window is closed. Ubuntu 20.04.4, GNOME 3.36.8, X11.

> The same thing happens with the Telegram chat list when the extension in enbled but only when the Extensions window is closed. Ubuntu 20.04.4, GNOME 3.36.8, X11. **Upd:** It’s...

Could you please add an empty theme with no presets in `index.css`? If one wants to develop their own local theme, it’s much easier to start with a predictable blank...

* Ubuntu 22.04 * GNOME 42 Same issue, here’s the fix I use: ```sh uuid="[email protected]" extension="$HOME/.local/share/gnome-shell/extensions/$uuid/extension.js" aggregate_old='Main.panel.statusArea.aggregateMenu.container.hide();' aggregate_new='Main.panel.statusArea.aggregateMenu.actor.hide();' date_old='Main.panel.statusArea.dateMenu.container.hide();' date_new='Main.panel.statusArea.dateMenu.actor.hide();' sed -i -e "s|$aggregate_old|$aggregate_new|" "$extension" sed -i -e "s|$date_old|$date_new|" "$extension"...

@ThierryHFR, you released version 48 after this, but didn’t include the change. Is that intentional?

> No, that's a mistake on my part, I've just published version 49. Ok, thanks!

Sorry, I can’t find it: 

Ah, ok, I didn’t know how it works :)

No, I get that, it’s not the point. Can I rely on the exact wording staying the same? It’s not a number or a boolean but an informal phrase, so...