Mercurial > emacs
annotate lisp/time.el @ 6063:233fffcfb6c8
(Fget_char_property): New function.
author | Karl Heuer <kwzh@gnu.org> |
---|---|
date | Thu, 24 Feb 1994 19:18:32 +0000 |
parents | 5e38d151ac1a |
children | 6884e6e907c9 |
rev | line source |
---|---|
657
fec3f9a1e3e5
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
387
diff
changeset
|
1 ;;; time.el --- display time and load in mode line of Emacs. |
fec3f9a1e3e5
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
387
diff
changeset
|
2 |
4014
d7374f1828b5
(display-time-file-nonempty-p): Use file-chase-links.
Roland McGrath <roland@gnu.org>
parents:
3483
diff
changeset
|
3 ;; Copyright (C) 1985, 1986, 1987, 1993 Free Software Foundation, Inc. |
841 | 4 |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
657
diff
changeset
|
5 ;; Maintainer: FSF |
104 | 6 |
7 ;; This file is part of GNU Emacs. | |
8 | |
9 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
10 ;; it under the terms of the GNU General Public License as published by | |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
657
diff
changeset
|
11 ;; the Free Software Foundation; either version 2, or (at your option) |
104 | 12 ;; any later version. |
13 | |
14 ;; GNU Emacs is distributed in the hope that it will be useful, | |
15 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
16 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
17 ;; GNU General Public License for more details. | |
18 | |
19 ;; You should have received a copy of the GNU General Public License | |
20 ;; along with GNU Emacs; see the file COPYING. If not, write to | |
21 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. | |
22 | |
2319
d98c49df2acd
Added or corrected Commentary section
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2293
diff
changeset
|
23 ;;; Commentary: |
d98c49df2acd
Added or corrected Commentary section
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2293
diff
changeset
|
24 |
d98c49df2acd
Added or corrected Commentary section
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2293
diff
changeset
|
25 ;;; Facilities to display current time/date and a new-mail indicator |
d98c49df2acd
Added or corrected Commentary section
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2293
diff
changeset
|
26 ;;; in the Emacs mode line. The single entry point is `display-time'. |
d98c49df2acd
Added or corrected Commentary section
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2293
diff
changeset
|
27 |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
657
diff
changeset
|
28 ;;; Code: |
104 | 29 |
132
0cbdae7c532f
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
104
diff
changeset
|
30 (defvar display-time-mail-file nil |
0cbdae7c532f
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
104
diff
changeset
|
31 "*File name of mail inbox file, for indicating existence of new mail. |
0cbdae7c532f
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
104
diff
changeset
|
32 Default is system-dependent, and is the same as used by Rmail.") |
0cbdae7c532f
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
104
diff
changeset
|
33 |
268 | 34 ;;;###autoload |
3167
e4bcdaa214b1
(display-time-day-and-date): Use defvar, not defconst.
Richard M. Stallman <rms@gnu.org>
parents:
2319
diff
changeset
|
35 (defvar display-time-day-and-date nil "\ |
268 | 36 *Non-nil means \\[display-time] should display day and date as well as time.") |
256 | 37 |
104 | 38 (defvar display-time-process nil) |
39 | |
40 (defvar display-time-interval 60 | |
41 "*Seconds between updates of time in the mode line.") | |
42 | |
387 | 43 (defvar display-time-24hr-format nil |
3483
965b015a4aef
(display-time-24hr-format): Make it a user option.
Richard M. Stallman <rms@gnu.org>
parents:
3167
diff
changeset
|
44 "*Non-nill indicates time should be displayed as hh:mm, 0 <= hh <= 23. |
387 | 45 Nil means 1 <= hh <= 12, and an AM/PM suffix is used.") |
46 | |
104 | 47 (defvar display-time-string nil) |
48 | |
49 (defvar display-time-hook nil | |
50 "* List of functions to be called when the time is updated on the mode line.") | |
51 | |
5463
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
52 (defvar display-time-server-down-time nil |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
53 "Time when mail file's file system was recorded to be down. |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
54 If that file system seems to be up, the value is nil.") |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
55 |
256 | 56 ;;;###autoload |
104 | 57 (defun display-time () |
2293
6c5e38aeb94b
* time.el (display-time): Doc fix.
Jim Blandy <jimb@redhat.com>
parents:
841
diff
changeset
|
58 "Display current time, load level, and mail flag in mode line of each buffer. |
104 | 59 Updates automatically every minute. |
60 If `display-time-day-and-date' is non-nil, the current day and date | |
61 are displayed as well. | |
62 After each update, `display-time-hook' is run with `run-hooks'." | |
63 (interactive) | |
64 (let ((live (and display-time-process | |
65 (eq (process-status display-time-process) 'run)))) | |
66 (if (not live) | |
67 (progn | |
68 (if display-time-process | |
69 (delete-process display-time-process)) | |
70 (or global-mode-string (setq global-mode-string '(""))) | |
71 (or (memq 'display-time-string global-mode-string) | |
72 (setq global-mode-string | |
73 (append global-mode-string '(display-time-string)))) | |
74 (setq display-time-string "") | |
75 (setq display-time-process | |
76 (start-process "display-time" nil | |
5863
2c5240294c30
(display-time): Use expand-file-name to make file name of wakeup.
Richard M. Stallman <rms@gnu.org>
parents:
5463
diff
changeset
|
77 (expand-file-name "wakeup" exec-directory) |
104 | 78 (int-to-string display-time-interval))) |
79 (process-kill-without-query display-time-process) | |
80 (set-process-sentinel display-time-process 'display-time-sentinel) | |
81 (set-process-filter display-time-process 'display-time-filter))))) | |
82 | |
83 (defun display-time-sentinel (proc reason) | |
84 (or (eq (process-status proc) 'run) | |
85 (setq display-time-string "")) | |
86 ;; Force mode-line updates | |
87 (save-excursion (set-buffer (other-buffer))) | |
88 (set-buffer-modified-p (buffer-modified-p)) | |
89 (sit-for 0)) | |
90 | |
91 (defun display-time-filter (proc string) | |
92 (let ((time (current-time-string)) | |
256 | 93 (load (condition-case () |
94 (if (zerop (car (load-average))) "" | |
387 | 95 (let ((str (format " %03d" (car (load-average))))) |
96 (concat (substring str 0 -2) "." (substring str -2)))) | |
256 | 97 (error ""))) |
132
0cbdae7c532f
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
104
diff
changeset
|
98 (mail-spool-file (or display-time-mail-file |
0cbdae7c532f
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
104
diff
changeset
|
99 (getenv "MAIL") |
0cbdae7c532f
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
104
diff
changeset
|
100 (concat rmail-spool-directory |
5909
5e38d151ac1a
(display-time-filter): Remove unnecessary (getenv "LOGNAME") and (getenv
Karl Heuer <kwzh@gnu.org>
parents:
5863
diff
changeset
|
101 (user-login-name)))) |
5463
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
102 hour am-pm-flag mail-flag) |
104 | 103 (setq hour (read (substring time 11 13))) |
387 | 104 (if (not display-time-24hr-format) |
105 (progn | |
106 (setq am-pm-flag (if (>= hour 12) "pm" "am")) | |
107 (if (> hour 12) | |
108 (setq hour (- hour 12)) | |
109 (if (= hour 0) | |
110 (setq hour 12)))) | |
111 (setq am-pm-flag "")) | |
5463
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
112 (setq mail-flag |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
113 (if (and (or (null display-time-server-down-time) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
114 ;; If have been down for 20 min, try again. |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
115 (> (- (nth 1 (current-time)) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
116 display-time-server-down-time) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
117 1200)) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
118 (let ((start-time (current-time))) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
119 (prog1 |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
120 (display-time-file-nonempty-p mail-spool-file) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
121 (if (> (- (nth 1 (current-time)) (nth 1 start-time)) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
122 20) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
123 ;; Record that mail file is not accessible. |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
124 (setq display-time-server-down-time |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
125 (nth 1 (current-time))) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
126 ;; Record that mail file is accessible. |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
127 (setq display-time-server-down-time nil)) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
128 ))) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
129 " Mail" |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
130 "")) |
104 | 131 (setq display-time-string |
132 (concat (format "%d" hour) (substring time 13 16) | |
387 | 133 am-pm-flag |
134 load | |
5463
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
135 mail-flag)) |
104 | 136 ;; Append the date if desired. |
137 (if display-time-day-and-date | |
138 (setq display-time-string | |
139 (concat (substring time 0 11) display-time-string)))) | |
140 (run-hooks 'display-time-hook) | |
141 ;; Force redisplay of all buffers' mode lines to be considered. | |
142 (save-excursion (set-buffer (other-buffer))) | |
143 (set-buffer-modified-p (buffer-modified-p)) | |
144 ;; Do redisplay right now, if no input pending. | |
145 (sit-for 0)) | |
256 | 146 |
147 (defun display-time-file-nonempty-p (file) | |
5463
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
148 (and (file-exists-p file) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
149 (< 0 (nth 7 (file-attributes (file-chase-links file)))))) |
657
fec3f9a1e3e5
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
387
diff
changeset
|
150 |
fec3f9a1e3e5
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
387
diff
changeset
|
151 ;;; time.el ends here |