I don’t run a lot of extensions on Gnome, but this one is a great way to add some customisation to the desktop.

    • Why?

      I like a good extension ecosystem. For the mothership, GNOME, you can only implement one idea, maybe include a couple ideas but the boss or the group has to decide upon one idea. With extensions, everyone, even a maintainer herself, can write one. You do not have to talk to someone else. You can just do it.

      As long as the api is well written, extensions are better than having one big mothership trying to accomplish everything and pleasing everyone. Imagine having an IDE without extensions. You have only the opinionated version of the main dev. With extensions, everyone can put his flavor on top of it without asking.

      Edit: don’t ask me why extensions and especially extension manager isn’t included in GNOME itself.

        • Yeah that’s my main issue with them too. I like the idea in theory, but in practice I find it tends to create this weird environment where something’s always broken because everything updates on a different schedule and nobody cares if their update breaks anything else.

      • I use Gnome as my main driver, have for the last 7-ish years, and on and off before that, so I’m no Gnome hater by any means, but I’ve been using Linux since 1996. Part of what I LOVED was absolute control. I used 1990’s themeable Gnome and then VTWM as my primary window manager because you could script EVERY aspect of your experience (I got rid of title bars for example). Modern Gnome meets my daily driver needs best, but I use KDE where I can elsewhere because it’s just fighting against me less for ideological reasons. I get you need a like philosophy for a project like Gnome to not go crazy, but like… I’d honestly be fine if you could reliably have your basic extensions survive updates, but a random set of extensions that make your desktop how you like die for x months (or maybe permanently) with EVERY new version, and yes, eventually an equivalent or better extension will come along, but a lot of why I like open source is NOT having my preferred windowing settings killed by committee whim with updates. I lag behind updating which helps, but it’s no panacea. If the extensions for basic window manager features that should be there like theming and such, it would be a better user experience because you would have things you can rely on not changing per release.

  •  ditty   ( @dditty@lemm.ee ) 
    link
    fedilink
    English
    52 days ago

    This looks great, just installed it. Now to figure out how to make it looks totally transparent with just the different buttons and shrink it a bit like in the project’s screenshots