Stream: General

Topic: Undo hide_fact (open)

Lukas Stevens (Apr 29 2021 at 09:50):

Is there a way to undo hide_fact (open) such that one doesn't have to write the prefix?

Last updated: Aug 05 2026 at 21:11 UTC