Zulip Chat Archive
Stream: Zulip meta
Topic: Open link in desktop app
Joachim Breitner (Aug 13 2024 at 15:06):
I am a bit confused about the best way to open a link (like <https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/.60simp_wf.60.20in.20.60decreasing_by.60>) from, say, github in the desktop app. I guess now that I mentioned it I can click on it here, but is there an easier way? Not even pasting it in the search bar finds the right topic.
Last updated: May 02 2025 at 03:31 UTC