[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#22595: 25.1.50; Wishlist: There should be a way to list timers
From: |
Ingo Lohmar |
Subject: |
bug#22595: 25.1.50; Wishlist: There should be a way to list timers |
Date: |
Tue, 09 Feb 2016 15:10:07 +0100 |
User-agent: |
Notmuch/0.20.2+113~g6332e6e (http://notmuchmail.org) Emacs/25.0.50.6 (x86_64-pc-linux-gnu) |
On Tue, Feb 09 2016 11:02 (+1100), Lars Ingebrigtsen wrote:
> Eli Zaretskii <eliz@gnu.org> writes:
>
>>> When working with timers, it's very easy to get into a situation where
>>> you've started a timer, but you don't have the timer object handy. It
>>> would be very nice if we had a command that would list all timers
>>
>> Maybe I'm missing something here, but the two lists timer-list and
>> timer-idle-list already provide you with the list you wanted. No?
>
> Sure, the lists are there, but there isn't a user interface to list them
> and kill them.
Why is this a good idea at all? Timers are always an implementation
detail, not a user-level feature, as far as I am concerned. We neither
have a UI for working with all overlays or text properties of a buffer,
have we?
- bug#22595: 25.1.50; Wishlist: There should be a way to list timers, Lars Ingebrigtsen, 2016/02/08
- bug#22595: 25.1.50; Wishlist: There should be a way to list timers, Eli Zaretskii, 2016/02/08
- bug#22595: 25.1.50; Wishlist: There should be a way to list timers, Lars Ingebrigtsen, 2016/02/08
- bug#22595: 25.1.50; Wishlist: There should be a way to list timers, Lars Ingebrigtsen, 2016/02/08
- bug#22595: 25.1.50; Wishlist: There should be a way to list timers,
Ingo Lohmar <=
- bug#22595: 25.1.50; Wishlist: There should be a way to list timers, Lars Ingebrigtsen, 2016/02/09
- bug#22595: 25.1.50; Wishlist: There should be a way to list timers, Drew Adams, 2016/02/09
- bug#22595: 25.1.50; Wishlist: There should be a way to list timers, Ingo Lohmar, 2016/02/09
- bug#22595: 25.1.50; Wishlist: There should be a way to list timers, Drew Adams, 2016/02/09
- bug#22595: 25.1.50; Wishlist: There should be a way to list timers, Ingo Lohmar, 2016/02/09
- bug#22595: 25.1.50; Wishlist: There should be a way to list timers, Eli Zaretskii, 2016/02/09
- bug#22595: 25.1.50; Wishlist: There should be a way to list timers, Eli Zaretskii, 2016/02/09