[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: mouse-drag-and-drop-region
From: |
martin rudalics |
Subject: |
Re: mouse-drag-and-drop-region |
Date: |
Fri, 24 Nov 2017 10:02:08 +0100 |
>> Actually, this boils down to marking `track-mouse' obsolete in a not so
>> distant future.
>
> If we do, what will replace it?
Something based on the transient keymap paradigm. Whether that will be
a macro or some rule to suitably set/restore `track-mouse' around a call
of `set-transient-map'. But I only draw conclusion from arguments
against using `read-event' (maybe in the context of mouse tracking only)
which I yet don't fully understand. And I also don't understand whether
an unprotected (re-)setting of `track-mouse' is safe wrt redisplay but
maybe you can clarify that.
martin
- Re: mouse-drag-and-drop-region, (continued)
- Re: mouse-drag-and-drop-region, Paul Eggert, 2017/11/20
- Re: mouse-drag-and-drop-region, martin rudalics, 2017/11/21
- Re: mouse-drag-and-drop-region, Stefan Monnier, 2017/11/21
- Re: mouse-drag-and-drop-region, martin rudalics, 2017/11/21
- Re: mouse-drag-and-drop-region, Stefan Monnier, 2017/11/21
- Re: mouse-drag-and-drop-region, martin rudalics, 2017/11/22
- Re: mouse-drag-and-drop-region, Stefan Monnier, 2017/11/22
- Re: mouse-drag-and-drop-region, martin rudalics, 2017/11/23
- Re: mouse-drag-and-drop-region, Stefan Monnier, 2017/11/23
- Re: mouse-drag-and-drop-region, Eli Zaretskii, 2017/11/23
- Re: mouse-drag-and-drop-region,
martin rudalics <=
- Re: mouse-drag-and-drop-region, Eli Zaretskii, 2017/11/24
- Re: mouse-drag-and-drop-region, martin rudalics, 2017/11/24
- Re: mouse-drag-and-drop-region, Stefan Monnier, 2017/11/24
- Re: mouse-drag-and-drop-region, martin rudalics, 2017/11/26
- Re: mouse-drag-and-drop-region, Eli Zaretskii, 2017/11/24
- Re: mouse-drag-and-drop-region, martin rudalics, 2017/11/26
- Re: mouse-drag-and-drop-region, Eli Zaretskii, 2017/11/26
- Re: mouse-drag-and-drop-region, martin rudalics, 2017/11/27
- Re: mouse-drag-and-drop-region, Eli Zaretskii, 2017/11/27
- Re: mouse-drag-and-drop-region, Eli Zaretskii, 2017/11/21