[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: TODO crdt-stop-session, selecting deleted buffer, fails to remove se
From: |
Jean Louis |
Subject: |
Re: TODO crdt-stop-session, selecting deleted buffer, fails to remove session from the list |
Date: |
Fri, 23 Oct 2020 17:36:18 +0300 |
User-agent: |
Mutt/+ (1036f0e) (2020-10-18) |
* Qiantan Hong <qhong@mit.edu> [2020-10-23 15:29]:
> >
> > - Other issue is that if I do press ENTER, it quits with the
> > beep. That is not enough, it is better if you give message that
> > crdt aborted.
> I’m also aware of this problem — are you using helm?
> It seems that it’s helm’s completing-read does not behave
> well and generate ‘quit error on empty input.
> I’ll work on a workaround.
I am using helm, and I do not remember if I turned it off.
> > - [ ] I could not save the buffer shared, I tried killing it too. If I
> > kill the buffer the connected user should maybe get informed and
> > connection to that buffer should disconnect.
> That’s already done, the buffer will be removed from the session
> (if killed from server side). Maybe some better message rather
> than just “Disconnected".
Is user then informed?
--
Jean Louis
- Re: TODO crdt-stop-session, selecting deleted buffer, fails to remove session from the list,
Jean Louis <=