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: Jul 02 2026 at 14:06 UTC