[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#49997: 27.2; idle-time reset when switching desktop-page
From: |
Eli Zaretskii |
Subject: |
bug#49997: 27.2; idle-time reset when switching desktop-page |
Date: |
Fri, 20 Aug 2021 13:43:38 +0300 |
> Cc: larsi@gnus.org, 49997@debbugs.gnu.org
> From: martin rudalics <rudalics@gmx.at>
> Date: Fri, 20 Aug 2021 10:19:06 +0200
>
> > Btw, idleness is not the only feature related to this gray area:
> > there's also while-no-input, input-pending-p, and throw-on-input, to
> > mention a few. Should these be in sync?
>
> Here we have
>
> (setq while-no-input-ignore-events
> '(focus-in focus-out help-echo iconify-frame
> make-frame-visible selection-request))
>
> so this set and the above are certainly not "in sync".
>
> But I have no idea how these two sets are supposed to interact and
> whether and how they should be presented to users.
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.
- bug#49997: 27.2; idle-time reset when switching desktop-page, (continued)
- 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, 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 <=
- 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
- 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