Zulip Chat Archive
Stream: general
Topic: logistics
Simon Hudon (Feb 26 2018 at 17:21):
Is there a way to move messages from one thread to another in here?
Sebastian Ullrich (Feb 26 2018 at 17:22):
Try editing the message
Simon Hudon (Feb 26 2018 at 17:24):
Nice! Thanks! So I moved you with me. I'm still in "general" though but I think it's a good tool
Sebastian Ullrich (Feb 26 2018 at 17:25):
Ah, you can also edit the topic text directly
Simon Hudon (Feb 26 2018 at 17:27):
I don't see that option
Sebastian Ullrich (Feb 26 2018 at 17:28):
Screenshot-from-2018-02-26-18-27-52.png
Sebastian Ullrich (Feb 26 2018 at 17:28):
Haha, what's with that message height
Simon Hudon (Feb 26 2018 at 17:29):
I think it may be unique to you because you're a moderator / organizer
Simon Hudon (Feb 26 2018 at 17:29):
(not the height but the option to rename topics)
Sebastian Ullrich (Feb 26 2018 at 17:30):
Yeah, I suspected so. Even if you can still move all messages, huh.
Simon Hudon (Feb 26 2018 at 17:35):
I'm really liking this chat
Andrew Ashworth (Feb 26 2018 at 17:38):
at some point, if we decide to stay here, we should update https://leanprover.github.io/documentation/
Simon Hudon (Feb 26 2018 at 17:39):
... unless ... we want this to be our "no girls allowed" treehouse ...
Simon Hudon (Feb 26 2018 at 17:41):
:stuck_out_tongue_winking_eye:
Simon Hudon (Feb 26 2018 at 17:42):
No fans of the Simpsons here?
Moses Schönfinkel (Feb 26 2018 at 17:46):
Futurama is so good I have had no time left for The Simpsons.
Simon Hudon (Feb 26 2018 at 17:47):
What about before Futurama showed up?
Moses Schönfinkel (Feb 26 2018 at 17:47):
Tom&Jerry, of course
Simon Hudon (Feb 26 2018 at 17:54):
look of disapproval that's not on par with the Simpsons
Last updated: Dec 20 2023 at 11:08 UTC