[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: feature/android a496509ced 1/2: Update Android port
From: |
Po Lu |
Subject: |
Re: feature/android a496509ced 1/2: Update Android port |
Date: |
Wed, 16 Aug 2023 22:15:53 +0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Stefan Monnier <monnier@iro.umontreal.ca> writes:
> I don't really understand how this answers my question.
> Is "the mouse position list" an "posn"?
Yes. We refer to "posns" as mouse position lists.
> If yes, then why doesn't `event-start/end` return it?
It does, so I've removed the redundant code from widget.el.
- Re: feature/android a496509ced 1/2: Update Android port, Stefan Monnier, 2023/08/16
- Re: feature/android a496509ced 1/2: Update Android port, Po Lu, 2023/08/16
- Re: feature/android a496509ced 1/2: Update Android port, Stefan Monnier, 2023/08/16
- Re: feature/android a496509ced 1/2: Update Android port, Po Lu, 2023/08/16
- Re: feature/android a496509ced 1/2: Update Android port, Stefan Monnier, 2023/08/16
- Re: feature/android a496509ced 1/2: Update Android port,
Po Lu <=
- Re: feature/android a496509ced 1/2: Update Android port, Stefan Monnier, 2023/08/16
- Re: feature/android a496509ced 1/2: Update Android port, Po Lu, 2023/08/16
- Re: feature/android a496509ced 1/2: Update Android port, Stefan Monnier, 2023/08/16