[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Issue with rectangle mouse selection
From: |
Eli Zaretskii |
Subject: |
Re: Issue with rectangle mouse selection |
Date: |
Sat, 30 Nov 2019 17:01:56 +0200 |
> Date: Sat, 30 Nov 2019 15:51:19 +0100
> From: Ergus <address@hidden>
> Cc: Mattias Engdegård <address@hidden>,
> address@hidden
>
> >> Perhaps the workaround should be mentioned in the docs for
> >> xterm-mouse-mode?
> >
> >In PROBLEMS, I'd say.
> >
> Hi Eli:
>
> If we put it only in PROBLEMS it will be harder to find for the users
> than in xterm-mouse-mode documentation. Do we have something like a FAQ?
We have a FAQ, but I think a better place is NEWS, since this is a new
feature. (We should have it in PROBLEMS as well, I think.)
- Re: Issue with rectangle mouse selection, (continued)
- Re: Issue with rectangle mouse selection, Mattias Engdegård, 2019/11/28
- Re: Issue with rectangle mouse selection, Mattias Engdegård, 2019/11/28
- Re: Issue with rectangle mouse selection, Ergus, 2019/11/28
- Re: Issue with rectangle mouse selection, Mattias Engdegård, 2019/11/29
- Re: Issue with rectangle mouse selection, Ergus, 2019/11/29
- Re: Issue with rectangle mouse selection, Mattias Engdegård, 2019/11/30
- Re: Issue with rectangle mouse selection, Eli Zaretskii, 2019/11/30
- Re: Issue with rectangle mouse selection, Ergus, 2019/11/30
- Re: Issue with rectangle mouse selection,
Eli Zaretskii <=
- Re: Issue with rectangle mouse selection, Ergus, 2019/11/30
- Re: Issue with rectangle mouse selection, Mattias Engdegård, 2019/11/30
- Re: Issue with rectangle mouse selection, Ergus, 2019/11/30
- Re: Issue with rectangle mouse selection, Mattias Engdegård, 2019/11/30