[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Changing default mouse bindings
From: |
Eli Zaretskii |
Subject: |
Re: Changing default mouse bindings |
Date: |
Tue, 14 Nov 2017 18:38:02 +0200 |
> From: Stefan Monnier <address@hidden>
> Cc: address@hidden, address@hidden, address@hidden,
> address@hidden
> Date: Tue, 14 Nov 2017 11:35:31 -0500
>
> >> > Drew mentioned that this context menu is shown only on mouse release in
> >> > Windows,
> >> Sounds like a bug. I'd expect that it's easy to fix (tho I admittedly
> >> have no experience with Emacs under Windows).
> > I think Drew was talking about other Windows applications, and I very
> > much doubt that we want to fix bugs in those ;-)
>
> Aha, so the context menus are usually sown on `mouse-3` rather than on
> `down-mouse-3` under Windows?
As much as I could see, yes.
- Re: poplife-mode, (continued)
- Re: poplife-mode, Stefan Monnier, 2017/11/13
- Changing default mouse bindings (was: poplife-mode), Alex, 2017/11/13
- Re: Changing default mouse bindings, Stefan Monnier, 2017/11/13
- Re: Changing default mouse bindings, Yuri Khan, 2017/11/14
- Re: Changing default mouse bindings, Stefan Monnier, 2017/11/14
- Re: Changing default mouse bindings, Eli Zaretskii, 2017/11/14
- RE: Changing default mouse bindings, Drew Adams, 2017/11/14
- Re: Changing default mouse bindings, Eli Zaretskii, 2017/11/14
- RE: Changing default mouse bindings, Drew Adams, 2017/11/14
- Re: Changing default mouse bindings, Stefan Monnier, 2017/11/14
- Re: Changing default mouse bindings,
Eli Zaretskii <=
- Re: Changing default mouse bindings (was: poplife-mode), Charles A. Roelli, 2017/11/14
- Re: Changing default mouse bindings, Tak Kunihiro, 2017/11/14
- Re: Changing default mouse bindings, Stefan Monnier, 2017/11/14
- Re: Changing default mouse bindings, Tak Kunihiro, 2017/11/16
- Re: Changing default mouse bindings, Eli Zaretskii, 2017/11/17
- Re: Changing default mouse bindings, Stefan Monnier, 2017/11/17
- RE: Changing default mouse bindings, Drew Adams, 2017/11/17
- Re: Changing default mouse bindings, Sam Steingold, 2017/11/17
- Re: poplife-mode, Tak Kunihiro, 2017/11/13
- RE: poplife-mode, Drew Adams, 2017/11/12