Subject: bug#15331: desktop should auto-save on idle time

From: Juri Linkov <[email-masked]>
Date: Mon, 16 Dec 2013 23:49:06 +0200

> I think the proposed solution is overly complicated.
> I think the better solution is to use idle timer instead and default
> `desktop-auto-save-timeout' to `auto-save-timeout' (i.e., enable by default).

I like the simplicity too, and since there were less
requests for the real-time timer than for the idle timer,
I just replaced the former with the latter.