To reproduce:
Result:
Expected result:
Thanks, Mark. We are thinking of changing the Public tab to always show all public documents, which would render this problem (and others) moot. In the short term, the Public tab would apparently be ignorant of the user's connection state; in a later version (>8.2), we should add status icons for shared/received documents.
Thanks Adam. That would work for me.