[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Issue with rectangle mouse selection
From: |
Stefan Monnier |
Subject: |
Re: Issue with rectangle mouse selection |
Date: |
Thu, 28 Nov 2019 11:10:41 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
> If this bothers you, perhaps you could ask the maintainer to
> reconsider; gnome-terminal manages, after all.
To xterm's credit, gnome-terminal uses a menu-bar so it doesn't have to
solve the same problem (the problem being xterm's use of popup menus
bound to control+mouse-down).
Stefan
- Issue with rectangle mouse selection, Ergus, 2019/11/28
- 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, 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