diff options
author | Jose Antonio Ortega Ruiz <jao@imladris.local> | 2019-01-09 00:23:53 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@imladris.local> | 2019-01-09 00:23:53 +0000 |
commit | 534b998b5192ec146a33d3ba871227856a4418bc (patch) | |
tree | 4b0fe7cc9b7bd591b0d254e93faf22015167b314 /doc | |
parent | 7d07616a2e9b618ebb510a07437e93a341fdf00a (diff) | |
download | elibs-534b998b5192ec146a33d3ba871227856a4418bc.tar.gz elibs-534b998b5192ec146a33d3ba871227856a4418bc.tar.bz2 |
idle timer for doc view sessions
Diffstat (limited to 'doc')
-rw-r--r-- | doc/jao-doc-view.el | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/doc/jao-doc-view.el b/doc/jao-doc-view.el index 8fce662..0398e60 100644 --- a/doc/jao-doc-view.el +++ b/doc/jao-doc-view.el @@ -1,6 +1,6 @@ ;; jao-doc-view.el -- Remembering visited documents -;; Copyright (c) 2013, 2015, 2017, 2018 Jose Antonio Ortega Ruiz +;; Copyright (c) 2013, 2015, 2017, 2018, 2019 Jose Antonio Ortega Ruiz ;; This file is free software; you can redistribute it and/or modify ;; it under the terms of the GNU General Public License as published by @@ -120,11 +120,26 @@ (jao-doc-view-purge-bmks) (jao-doc-view-save-session t))) +(defvar jao-doc-session-timer nil) +(defvar jao-doc-session-timer-seconds 60) + +(defun jao-doc-view-stop-session-timer () + (when jao-doc-session-timer + (cancel-timer jao-doc-session-timer) + (setq jao-doc-session-timer nil))) + +(defun jao-doc-view-start-session-timer () + (setq jao-doc-session-timer + (run-with-idle-timer jao-doc-session-timer-seconds + t + 'jao-doc-view-save-session))) + (defun jao-doc-view-install () (jao-doc-view--current-bmks) (add-hook 'kill-buffer-hook 'jao-doc-view--save-bmk) (add-hook 'kill-buffer-hook 'jao-doc-view--save-session-1 t) - (add-hook 'kill-emacs-hook 'jao-doc-view-save-session)) + (add-hook 'kill-emacs-hook 'jao-doc-view-save-session) + (jao-doc-view-start-session-timer)) |