[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#49997: 27.2; idle-time reset when switching desktop-page
From: |
martin rudalics |
Subject: |
bug#49997: 27.2; idle-time reset when switching desktop-page |
Date: |
Sun, 22 Aug 2021 10:24:15 +0200 |
> If we end up with a list of ignored events, as I think we should, we
> should consider making the same list control all of the relevant
> features.
Not sure whether the attached is what you meant - it's just a first stab
in that direction.
martin
while-no-input-ignore-events.diff
Description: Text Data
- bug#49997: 27.2; idle-time reset when switching desktop-page, (continued)
- 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, 2021/08/18
- 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 <=
- 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
- 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, Peter Münster, 2021/08/16
- bug#49997: 27.2; idle-time reset when switching desktop-page, Lars Ingebrigtsen, 2021/08/16
- bug#49997: 27.2; idle-time reset when switching desktop-page, Eli Zaretskii, 2021/08/16
- bug#49997: 27.2; idle-time reset when switching desktop-page, Peter Münster, 2021/08/16
- bug#49997: 27.2; idle-time reset when switching desktop-page, Eli Zaretskii, 2021/08/16
- bug#49997: 27.2; idle-time reset when switching desktop-page, Peter Münster, 2021/08/16