[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#49997: 27.2; idle-time reset when switching desktop-page
From: |
Peter Münster |
Subject: |
bug#49997: 27.2; idle-time reset when switching desktop-page |
Date: |
Wed, 18 Aug 2021 11:16:57 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
On Wed, Aug 18 2021, martin rudalics wrote:
> I can offer the attached trivial patch. Peter, can you try it?
Thanks. Yes, it works as expected.
Now the question is: is this the right thing to do?
According to Eli
(https://lists.gnu.org/archive/html/bug-gnu-emacs/2021-08/msg01016.html)
it's not so clear.
But on the other side, focus-out events and mouse movements keep the
"idleness" too. So I guess, that frame movements could fall in the same
category...
--
Peter
signature.asc
Description: PGP signature
- bug#49997: 27.2; idle-time reset when switching desktop-page, (continued)
- bug#49997: 27.2; idle-time reset when switching desktop-page, Lars Ingebrigtsen, 2021/08/15
- bug#49997: 27.2; idle-time reset when switching desktop-page, Lars Ingebrigtsen, 2021/08/15
- bug#49997: 27.2; idle-time reset when switching desktop-page, Eli Zaretskii, 2021/08/15
- bug#49997: 27.2; idle-time reset when switching desktop-page, Eli Zaretskii, 2021/08/15
- bug#49997: 27.2; idle-time reset when switching desktop-page, Lars Ingebrigtsen, 2021/08/15
- bug#49997: 27.2; idle-time reset when switching desktop-page, Eli Zaretskii, 2021/08/15
- bug#49997: 27.2; idle-time reset when switching desktop-page, Eli Zaretskii, 2021/08/15
- bug#49997: 27.2; idle-time reset when switching desktop-page, Eli Zaretskii, 2021/08/15
- bug#49997: 27.2; idle-time reset when switching desktop-page, Lars Ingebrigtsen, 2021/08/15
- bug#49997: 27.2; idle-time reset when switching desktop-page, martin rudalics, 2021/08/18
- bug#49997: 27.2; idle-time reset when switching desktop-page,
Peter Münster <=
- bug#49997: 27.2; idle-time reset when switching desktop-page, Eli Zaretskii, 2021/08/18
- bug#49997: 27.2; idle-time reset when switching desktop-page, Lars Ingebrigtsen, 2021/08/18
- bug#49997: 27.2; idle-time reset when switching desktop-page, martin rudalics, 2021/08/20
- bug#49997: 27.2; idle-time reset when switching desktop-page, Eli Zaretskii, 2021/08/20
- bug#49997: 27.2; idle-time reset when switching desktop-page, martin rudalics, 2021/08/22
- bug#49997: 27.2; idle-time reset when switching desktop-page, Eli Zaretskii, 2021/08/22
- bug#49997: 27.2; idle-time reset when switching desktop-page, Lars Ingebrigtsen, 2021/08/22
bug#49997: 27.2; idle-time reset when switching desktop-page, Peter Münster, 2021/08/15