GNU bug report logs - #22595
25.1.50; Wishlist: There should be a way to list timers

Previous Next

Full log

Message #21 received at 22595 <at> debbugs.gnu.org (full text, mbox):

From: Ingo Lohmar <i.lohmar <at> gmail.com>
To: Lars Ingebrigtsen <larsi <at> gnus.org>, Eli Zaretskii <eliz <at> gnu.org>
Cc: 22595 <at> debbugs.gnu.org
Subject: Re: bug#22595: 25.1.50; Wishlist: There should be a way to list timers
Date: Tue, 09 Feb 2016 15:10:07 +0100

On Tue, Feb 09 2016 11:02 (+1100), Lars Ingebrigtsen wrote:

> Eli Zaretskii <eliz <at> 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?

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.