Peter LudemannPeterLudemann@mathstodon.xyz
Oct 30, 2026, 10:45 PM@mhoye And no click should take effect within 1 second of any movement of the window's contents.
@mhoye And no click should take effect within 1 second of any movement of the window's contents.