Stream: t-compiler/wg-nll

Topic: how can anyone rename topics


pnkfelix (May 31 2018 at 21:13, on Zulip):

niko was wondering about how topics get renamed

pnkfelix (May 31 2018 at 21:13, on Zulip):

its not as simple as branching off new topics (or rejoining a pre-existing topic)

pnkfelix (May 31 2018 at 21:15, on Zulip):

(which you do by just editing the topic title above the edit box in the UI)

pnkfelix (May 31 2018 at 21:15, on Zulip):

but

pnkfelix (May 31 2018 at 21:16, on Zulip):

when you have already sent a message

pnkfelix (May 31 2018 at 21:16, on Zulip):

You can edit that message

pnkfelix (May 31 2018 at 21:16, on Zulip):

and the UI for editing a message

pnkfelix (May 31 2018 at 21:17, on Zulip):

includes the ability to edit that message's topic

pnkfelix (May 31 2018 at 21:18, on Zulip):

pasted image

pnkfelix (May 31 2018 at 21:18, on Zulip):

pasted image

nikomatsakis (May 31 2018 at 21:19, on Zulip):

ah, I wondered if it was that

pnkfelix (May 31 2018 at 21:19, on Zulip):

pasted image

nikomatsakis (May 31 2018 at 21:19, on Zulip):

but in that case I guess you can only do it within a certain window?

pnkfelix (May 31 2018 at 21:19, on Zulip):

its very clever

nikomatsakis (May 31 2018 at 21:19, on Zulip):

I can reconfigure that window though

nikomatsakis (May 31 2018 at 21:19, on Zulip):

right now it's 10 minutes or something

pnkfelix (May 31 2018 at 21:19, on Zulip):

because after you edit the topic title

pnkfelix (May 31 2018 at 21:19, on Zulip):

but in that case I guess you can only do it within a certain window?

(yes, only a certain window of time... at least for a given message...)

pnkfelix (May 31 2018 at 21:20, on Zulip):

because after you edit the topic title

after you edit the topic title, the UI changes, and gives you a selection box

pnkfelix (May 31 2018 at 21:21, on Zulip):

where you can tell it to change one of: 1. just this message's topic, 2. this and all future messages in this topic, or 3. this and all past and future messages in the topic

pnkfelix (May 31 2018 at 21:21, on Zulip):

so my question now is... if the window of time that @nikomatsakis just mentioned applies to that third option of mutating all past and future messages.

nikomatsakis (May 31 2018 at 21:22, on Zulip):

I think it does

pnkfelix (May 31 2018 at 21:23, on Zulip):

yep

pnkfelix (May 31 2018 at 21:23, on Zulip):

just confirmed that you cannot pervert the past

pnkfelix (May 31 2018 at 21:23, on Zulip):

beyond the window. Which is probably for the best

davidtwco (Sep 18 2018 at 20:29, on Zulip):

(you can edit a message, change the topic, and then select from the dropdown how you want it moved)

davidtwco (Sep 18 2018 at 20:30, on Zulip):

pasted image

pnkfelix (Sep 18 2018 at 20:31, on Zulip):

@davidtwco @Keith Yeung see also discussion here: ^

Last update: Nov 21 2019 at 13:05UTC