mirror of
https://github.com/urbit/shrub.git
synced 2024-12-21 09:51:36 +03:00
e2d10367af
When we receive a notification, it might not affect our count because it’ll get merged on the server side, but we unconditionally increment our count on the client if the notification hasn’t been loaded yet. Addresses this by storing a set of time, index so we can compute whether or not the notification is merged or unloaded and change the count accordingly. Fixes urbit/landscape#276 |
||
---|---|---|
.. | ||
chat-hook.hoon | ||
graph-hook.hoon | ||
group-hook.hoon | ||
store.hoon |