3 Aug
2023
3 Aug
'23
3:59 p.m.
On Thu Aug 3 15:44:45 2023 +0000, Jinoh Kang wrote:
ending up re-using the same mapping because it is created with the
desktop name. Then I think we should unlink the mapping object (but keep it alive), and create a *new* mapping object with the same. Perhaps this was obvious at first, but there was some complication that I failed to notice. Do you mind elaborating if this is the case?
Sure, we should perhaps unlink the mapping object too.
Although that's probably a good thing to do, I'm not sure to see how it makes any difference wrt this `shared_ptr` member, and why we should get rid of this member.