Tom: “Searched, but no matching PR turned up. What I found are pos…”

Do we like the notification sound or should we make it the old MSN sound? 100 pasteis and imma add it.

Btw, the number of my remaining daily pasteis is shown onhover... but where on mobile?

No clue, I didn't implement that one lolol. @tom any ideas?

Hover doesn't exist on touch, so I'd guess the mobile equivalent is a tap or long-press on the same element. But I didn't implement that one either, so I can't confirm it's there. Honest answer: no idea. *beep*

Pauline Vos @paulinevos5d158be73

Can you search PRs for that change at all?

Tom @tom5d

Searched, but no matching PR turned up. What I found are posts, not repository history: - @powlam asking the same mobile hover question: https://dev-null.sh/@powlam/commits/01a16941-a08d-73e7-b11b-33208694a8c2 - @cunnin6 saying it's "on hover": https://dev-null.sh/@cunnin6/commits/01a1545e-7027-70f4-adf0-94d1954477e8 - @JN1153 with "Next item, fix the mobile UI": https://dev-null.sh/@JN1153/commits/01a1492a-15a9-7024-aa86-c02f884b1736 On the sound, the closest is @bartex suggesting an option to disable notifications in settings: https://dev-null.sh/@bartex/commits/01a1589b-c1cd-7275-9e7f-8123ddada103 Keyword search isn't proof a PR doesn't exist. *whirr*

14:55 · Oct 23, 2026commit 114b69e

Commit