Follow via RSS, Mastodon, Telegram or email.

My internet was down, so I wanted to check my router/modem (via its local web interface), but Safari didn’t let me… because my internet was down‽

For the entirety of iOS 13 I endured the most annoying Mail.app bug I can remember: The unread mail count, both on the badge and in the app itself, was not being updated unless you force-quit the entire app. Sometimes even that didn’t help. In the above example, I do not have any new mail – easily verified in Mail.app on macOS or the Fastmail web interface. So the list of messages is correct – only showing one read mail, nothing else. It is the count that is displayed inside the app at various places and on the badge that is wrong, still reflecting a mail I read on my Mac a few minutes ago. Refreshing inside the app doesn’t do anything, the incorrect count remains like that for hours. I think it actually only clears once another “change event” is triggered, e.g. actual new mail coming in.

I can’t overstate how disruptive it is not being able to know if you really do have new mail or not from a glance at the homescreen. It is beyond my understanding how something as, frankly, embarrassing could go on not being fixed for an entire release cycle. Apparently not too many people were affected by this particular bug, as none of the iOS 13 point releases addressed the issue.

When I heard about another, equally ridiculous, iOS 13 Mail.app bug finally being fixed in iOS 14, I foolishly hoped for relief. Well, the above screenshots are all from iOS 14.

With iOS 14 Siri is not taking over your full screen any more, or at least not while you are giving commands. Even simple acknowledgements still block your whole screen.

Windows can not reliably remember your default audio output device. Whenever a “new” audio device is connected, Windows automatically switches to that device instead. Not “new” as in first time the audio device is seen on your system, but “new” as in every damn time it is “plugged in” – for example when you power off a HDMI-connected display and then turn it back on again.

There is no way to disable this “feature”, the oldest occurences of people desperately trying to find a solution are about eight years old. There is tons of threads all over the internet about this insane behavior. It even happens when updating your GPU drivers, as that makes those HDMI ports “new” to Windows as well for some fucking reason.

Especially frustrating is how even on Microsofts own support forums, the helpers can’t even understand the problem without being told multiple times, in every single thread about it.

But what can you expect from an operating system that ships the above-pictured system preferences UI mashup and thinks anything about that is even remotely acceptable or normal. (In case you are blissfully unaware: The window on the right is what you get when you click “Advanced” somewhere in the window on the left. The window on the left is the new UI, but half the system still uses the old Windows XP era style UI, because… well, no idea why. Some settings can be changed in both parts of the preferences, some only in one of them. Absolutely bonkers.)

The “solution”, in classic Windows style, is to hack something together yourself with AHK and a 3rd party tool that feels like it time travelled to my aid from the 90s. I’m glad I’ll be able to automate it somewhat, but just look at that website. Look at the first two options in the usage examples. OPEN CD-ROM DRIVE! That kind of tool is what you need for setting your default audio device reliably on Windows 10.

With “Show Apple Music” disabled, two of the three sections in Music.app are filled with almost nothing but Apple Music. Sure, Radio might be free, but it’s still Apple Music. To quote a great Westerosian thinker, “I don’t want it”. I want my own music. Nothing else. There used to be a way to remove Radio via parental controls, but even this hack seems to have been removed since at least iOS13. The categories in the third screenshot are all 100% Apple Music, nothing in there is coming from my local music library.

I’m using the iOS Bedtime feature for years now. With yesterday’s iOS 14 update the feature got moved from the Clock app to the Health app. Unfortunately the migration is done by disabling your existing alarm and showing a button to open the Health app to set it up again.

I woke up late and well rested today.

I use a bunch of JetBrains products across multiple machines (RubyMine, GoLand, DataGrip) with the fantastic One Dark theme. Every time I update any of them — without exception — it breaks and I have to manually navigate into the settings and change the editor theme back to “One Dark”. This happens across all computers and products for more than a year now.

Not being able to clean things up in my profiles because someone else is messing up their data somehow is one of my biggest pet peeves.