• 0 Posts
  • 19 Comments
Joined 1 year ago
cake
Cake day: June 9th, 2023

help-circle












  • The video is TL;DW for me right now, but there’s a comment on the video which is fascinating enough on its own to pique my interest:

    Back in 1997, a nasty October storm knocked down some power lines near my home. One of our dogs ended up getting her back legs paralyzed after going outside and had to be put down. We thought she stepped on a downed line, but after seeing your demonstration with the Hulk Hogan figure, I think I have a better understanding of what happened. Just going near the downed line would have been enough to do the damage.




  • I feel like vanilla GNOME is intentionally a barbones common workflow, and that extensions are how you customize to fit your needs.

    For example, I often switch between desktop speakers and headphones (where the dongle is always connected), and sometimes other audio devices. I installed the sound input/output chooser so I don’t have to go into Settings every time I need to switch inputs. It saves me multiple clicks. But I get that not everyone needs immediate access to change audio devices, so why clutter the UI?

    I’ve used both vanilla GNOME and the post-Unity Ubuntu spin on it. In either case I’ve grown accustomed to the Activities screen, quickly accessing it pressing the Super key, and using it to switch windows and manage full screen apps on different monitors.



  • If the size of the PR is a concern, maybe the maintainers will allow a staged approach. Create an Issue describing the feature and indicate step by step how you would implement. Then break the work into multiple pull requests.

    If necessary, you could introduce a toggle that’s switched off by default until the feature is fully implemented.