micro

Nicht vergessen: Wählen gehen!
Wegen meines Krankenhausaufenthalts war das umständlich. Meine Frau musste mir die Vollmacht bringen zum Unterschreiben, Briefwahlunterlagen holen und bringen, wieder zum Rathaus. Und heute selber wählen gehen.
Ihr müsst nur zu eurem Wahlbüro.

micro

Normalerweise schau ich ja weg, wenn Nadeln in mich gesteckt werden. Heute aber hab ich das erste Mal die Nadel von einem Zugang gesehen. Boah ist die lang und dick…brrrr

Contra „Please don’t theme our apps”

General

There is an open letter from Gnome-developers that distributions shouldn’t theme apps (icons, window themes etc). They acknowledge though that if you want to do it on your system but that is ok and that you are in unsupported areas then. The reasoning is that all theming in Gnome is only a hack since there is no theming -API and things can and will break.

I am a Linux-user and I am a Gnome-user. I like to theme my desktop and think that it is one of the great things on the Linux-desktop: I can make it look like I want it. Some desktops work better for that, some are not so good. Gnome is inherently bad for this. Regularly themes break with Gnome-upgrades. And I just couldn’t understand why the Gnome-devs just not stabilize how elements are called and hand out documentation. After all, gnome themes are stylesheets and graphics.

And theming GDM is really hard. I never really figured out how I do it non-destructibly.

Apparently it is not the intention of Gnome to be themable. I have to say that as a user I’d rather like to see an open letter from developers of GTK-apps that Gnome gets a theming-API than asking distribution develops to stop theming their apps. One way or another, you have to do the design work and if there would be a stable API, theme developers could use that. Then the app-dev would style her app, the theme-dev develops her theme and when there is a bug with a theme, you file it with the theme-dev, not the app-dev.

And Adwaita got a lot better with Gnome 3.32 but I prefer themes like Arc, Yaru, North and others more.

micro

Apple introduces a new laptop. They talk about speed, I search the site if it has a better keyboard…

micro

I was in a magic lecture today which was pretty great but the magic that was performed in the pub after that while the magicians were jamming was just awesome…so much crazy stuff…

micro

I think this is a first: I just watched a movie and directly want to see it a second time. It is just sooooooo good
Spider-Man: Into the Spider-Verse
I love the style, the music is great, the characters are superb and the story is awesome.

micro

Plastic bags aren’t that bad after all… Oo
https://www.npr.org/2019/05/08/721542495/the-problem-with-banning-plastic-bags