At 21:36 UTC on 2020-04-29 I put a new feature into production which changes the handling of the “Mark all notifications read” item in the drop-down menu from the notifications bubble at the top right of the screen. Previously, this would clear unread notifications and display the Unread Notifications page, which was pretty silly since you’d just asked to mark them all read. Today’s change uses the mechanism implemented to support the “catch-up” feature introduced on 2020-04-12 to mark the notifications read via a lightweight query request which doesn’t replace the page you’re currently viewing with the (useless) Unread Notifications page. After marking the notifications read, the number and drop-down list of notifications are immediately updated.
Before, there was a potential race condition where notifications that had arrived since the last automatic update to the page would be marked read even though you’d never seen them in the drop-down list. This has been corrected: no notification will be marked read unless it has been presented to you in the drop-down list. This means that when you click “Mark all notifications read” you may immediately see new notifications which have just arrived: this is not a bug—it’s avoiding one which was present in the old code.
In addition, if you have no notifications and, nonetheless, mouse-over the notifications bubble, you’ll see a “No new notifications” item in the menu. If you clicked this, you were inanely taken to the Unread Notifications page, which just told you what you already knew. I changed this to display the Read Notifications page, where you can find notifications you’ve marked read, which is probably what you’re looking for after discovering you have no unread notifications.
This is the five thousandth post published on Ratburger.org since the site opened on 2017-12-10.