Mercurial > emacs
annotate lisp/time.el @ 14147:4d7b8a3fe240
Describe version-specific site-lisp dirs.
Capitalize Lisp.
author | Richard M. Stallman <rms@gnu.org> |
---|---|
date | Thu, 11 Jan 1996 17:05:41 +0000 |
parents | 30f9ffb5ce2d |
children | 83f275dcd93a |
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 |
7300 | 3 ;; Copyright (C) 1985, 1986, 1987, 1993, 1994 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. |
9581
a035cc3716a1
(display-time-filter): Ignore mail-spool-file if not string.
Richard M. Stallman <rms@gnu.org>
parents:
8804
diff
changeset
|
32 Non-nil and not a string means don't check for mail. nil means use |
a035cc3716a1
(display-time-filter): Ignore mail-spool-file if not string.
Richard M. Stallman <rms@gnu.org>
parents:
8804
diff
changeset
|
33 default, which is system-dependent, and is the same as used by Rmail.") |
132
0cbdae7c532f
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
104
diff
changeset
|
34 |
268 | 35 ;;;###autoload |
3167
e4bcdaa214b1
(display-time-day-and-date): Use defvar, not defconst.
Richard M. Stallman <rms@gnu.org>
parents:
2319
diff
changeset
|
36 (defvar display-time-day-and-date nil "\ |
268 | 37 *Non-nil means \\[display-time] should display day and date as well as time.") |
256 | 38 |
104 | 39 (defvar display-time-process nil) |
40 | |
41 (defvar display-time-interval 60 | |
42 "*Seconds between updates of time in the mode line.") | |
43 | |
387 | 44 (defvar display-time-24hr-format nil |
8804
0e668dd3f120
(display-time-24hr-format): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents:
8459
diff
changeset
|
45 "*Non-nil indicates time should be displayed as hh:mm, 0 <= hh <= 23. |
387 | 46 Nil means 1 <= hh <= 12, and an AM/PM suffix is used.") |
47 | |
104 | 48 (defvar display-time-string nil) |
49 | |
50 (defvar display-time-hook nil | |
51 "* List of functions to be called when the time is updated on the mode line.") | |
52 | |
5463
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
53 (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
|
54 "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
|
55 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
|
56 |
256 | 57 ;;;###autoload |
104 | 58 (defun display-time () |
2293
6c5e38aeb94b
* time.el (display-time): Doc fix.
Jim Blandy <jimb@redhat.com>
parents:
841
diff
changeset
|
59 "Display current time, load level, and mail flag in mode line of each buffer. |
104 | 60 Updates automatically every minute. |
61 If `display-time-day-and-date' is non-nil, the current day and date | |
62 are displayed as well. | |
63 After each update, `display-time-hook' is run with `run-hooks'." | |
64 (interactive) | |
13747
30f9ffb5ce2d
(display-time): make it work under ms-dos by setting the
Karl Heuer <kwzh@gnu.org>
parents:
12440
diff
changeset
|
65 (let ((live (or (and (eq system-type 'ms-dos) dos-display-time) |
30f9ffb5ce2d
(display-time): make it work under ms-dos by setting the
Karl Heuer <kwzh@gnu.org>
parents:
12440
diff
changeset
|
66 (and display-time-process |
30f9ffb5ce2d
(display-time): make it work under ms-dos by setting the
Karl Heuer <kwzh@gnu.org>
parents:
12440
diff
changeset
|
67 (eq (process-status display-time-process) 'run))))) |
104 | 68 (if (not live) |
69 (progn | |
70 (if display-time-process | |
71 (delete-process display-time-process)) | |
72 (or global-mode-string (setq global-mode-string '(""))) | |
73 (or (memq 'display-time-string global-mode-string) | |
74 (setq global-mode-string | |
75 (append global-mode-string '(display-time-string)))) | |
76 (setq display-time-string "") | |
13747
30f9ffb5ce2d
(display-time): make it work under ms-dos by setting the
Karl Heuer <kwzh@gnu.org>
parents:
12440
diff
changeset
|
77 (if (eq system-type 'ms-dos) |
30f9ffb5ce2d
(display-time): make it work under ms-dos by setting the
Karl Heuer <kwzh@gnu.org>
parents:
12440
diff
changeset
|
78 (setq dos-display-time t) |
30f9ffb5ce2d
(display-time): make it work under ms-dos by setting the
Karl Heuer <kwzh@gnu.org>
parents:
12440
diff
changeset
|
79 ;; Using a pty is wasteful, and the separate session causes |
30f9ffb5ce2d
(display-time): make it work under ms-dos by setting the
Karl Heuer <kwzh@gnu.org>
parents:
12440
diff
changeset
|
80 ;; annoyance sometimes (some systems kill idle sessions). |
30f9ffb5ce2d
(display-time): make it work under ms-dos by setting the
Karl Heuer <kwzh@gnu.org>
parents:
12440
diff
changeset
|
81 (progn |
30f9ffb5ce2d
(display-time): make it work under ms-dos by setting the
Karl Heuer <kwzh@gnu.org>
parents:
12440
diff
changeset
|
82 (let ((process-connection-type nil)) |
30f9ffb5ce2d
(display-time): make it work under ms-dos by setting the
Karl Heuer <kwzh@gnu.org>
parents:
12440
diff
changeset
|
83 (setq display-time-process |
30f9ffb5ce2d
(display-time): make it work under ms-dos by setting the
Karl Heuer <kwzh@gnu.org>
parents:
12440
diff
changeset
|
84 (start-process "display-time" nil |
30f9ffb5ce2d
(display-time): make it work under ms-dos by setting the
Karl Heuer <kwzh@gnu.org>
parents:
12440
diff
changeset
|
85 (expand-file-name |
30f9ffb5ce2d
(display-time): make it work under ms-dos by setting the
Karl Heuer <kwzh@gnu.org>
parents:
12440
diff
changeset
|
86 "wakeup" exec-directory) |
30f9ffb5ce2d
(display-time): make it work under ms-dos by setting the
Karl Heuer <kwzh@gnu.org>
parents:
12440
diff
changeset
|
87 (int-to-string display-time-interval)))) |
30f9ffb5ce2d
(display-time): make it work under ms-dos by setting the
Karl Heuer <kwzh@gnu.org>
parents:
12440
diff
changeset
|
88 (process-kill-without-query display-time-process) |
30f9ffb5ce2d
(display-time): make it work under ms-dos by setting the
Karl Heuer <kwzh@gnu.org>
parents:
12440
diff
changeset
|
89 (set-process-sentinel display-time-process |
30f9ffb5ce2d
(display-time): make it work under ms-dos by setting the
Karl Heuer <kwzh@gnu.org>
parents:
12440
diff
changeset
|
90 'display-time-sentinel) |
30f9ffb5ce2d
(display-time): make it work under ms-dos by setting the
Karl Heuer <kwzh@gnu.org>
parents:
12440
diff
changeset
|
91 (set-process-filter display-time-process |
30f9ffb5ce2d
(display-time): make it work under ms-dos by setting the
Karl Heuer <kwzh@gnu.org>
parents:
12440
diff
changeset
|
92 'display-time-filter))))))) |
104 | 93 |
94 (defun display-time-sentinel (proc reason) | |
95 (or (eq (process-status proc) 'run) | |
96 (setq display-time-string "")) | |
97 ;; Force mode-line updates | |
11568
9b2265dc03a6
(display-time-sentinel, display-time-filter): Use force-mode-line-update.
Karl Heuer <kwzh@gnu.org>
parents:
10317
diff
changeset
|
98 (force-mode-line-update t) |
104 | 99 (sit-for 0)) |
100 | |
8404
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
101 (defvar display-time-string-forms |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
102 '((if display-time-day-and-date |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
103 (format "%s %s %s " dayname monthname day) |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
104 "") |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
105 (format "%s:%s%s" |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
106 (if display-time-24hr-format 24-hours 12-hours) |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
107 minutes |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
108 (if display-time-24hr-format "" am-pm)) |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
109 load |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
110 (if mail " Mail" "")) |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
111 "*A list of expressions governing display of the time in the mode line. |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
112 This expression is a list of expressions that can involve the keywords |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
113 `load', `day', `month', and `year', `12-hours', `24-hours', `minutes', |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
114 `seconds', all numbers in string form, and `monthname', `dayname', `am-pm', |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
115 and `time-zone' all alphabetic strings, and `mail' a true/nil value. |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
116 |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
117 For example, the form |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
118 |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
119 '((substring year -2) \"/\" month \"/\" day |
10317
dad32dba58bf
(display-time-string-forms): Fix doc string syntax error.
Richard M. Stallman <rms@gnu.org>
parents:
9581
diff
changeset
|
120 \" \" 24-hours \":\" minutes \":\" seconds |
8404
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
121 (if time-zone \" (\") time-zone (if time-zone \")\") |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
122 (if mail \" Mail\" \"\")) |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
123 |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
124 would give mode line times like `94/12/30 21:07:48 (UTC)'.") |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
125 |
104 | 126 (defun display-time-filter (proc string) |
12100 | 127 (let* ((now (current-time)) |
128 (time (current-time-string now)) | |
8404
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
129 (load (condition-case () |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
130 (if (zerop (car (load-average))) "" |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
131 (let ((str (format " %03d" (car (load-average))))) |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
132 (concat (substring str 0 -2) "." (substring str -2)))) |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
133 (error ""))) |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
134 (mail-spool-file (or display-time-mail-file |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
135 (getenv "MAIL") |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
136 (concat rmail-spool-directory |
8804
0e668dd3f120
(display-time-24hr-format): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents:
8459
diff
changeset
|
137 (user-login-name)))) |
9581
a035cc3716a1
(display-time-filter): Ignore mail-spool-file if not string.
Richard M. Stallman <rms@gnu.org>
parents:
8804
diff
changeset
|
138 (mail (and (stringp mail-spool-file) |
a035cc3716a1
(display-time-filter): Ignore mail-spool-file if not string.
Richard M. Stallman <rms@gnu.org>
parents:
8804
diff
changeset
|
139 (or (null display-time-server-down-time) |
8804
0e668dd3f120
(display-time-24hr-format): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents:
8459
diff
changeset
|
140 ;; If have been down for 20 min, try again. |
0e668dd3f120
(display-time-24hr-format): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents:
8459
diff
changeset
|
141 (> (- (nth 1 (current-time)) |
0e668dd3f120
(display-time-24hr-format): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents:
8459
diff
changeset
|
142 display-time-server-down-time) |
0e668dd3f120
(display-time-24hr-format): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents:
8459
diff
changeset
|
143 1200)) |
0e668dd3f120
(display-time-24hr-format): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents:
8459
diff
changeset
|
144 (let ((start-time (current-time))) |
0e668dd3f120
(display-time-24hr-format): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents:
8459
diff
changeset
|
145 (prog1 |
0e668dd3f120
(display-time-24hr-format): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents:
8459
diff
changeset
|
146 (display-time-file-nonempty-p mail-spool-file) |
0e668dd3f120
(display-time-24hr-format): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents:
8459
diff
changeset
|
147 (if (> (- (nth 1 (current-time)) (nth 1 start-time)) |
0e668dd3f120
(display-time-24hr-format): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents:
8459
diff
changeset
|
148 20) |
0e668dd3f120
(display-time-24hr-format): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents:
8459
diff
changeset
|
149 ;; Record that mail file is not accessible. |
0e668dd3f120
(display-time-24hr-format): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents:
8459
diff
changeset
|
150 (setq display-time-server-down-time |
0e668dd3f120
(display-time-24hr-format): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents:
8459
diff
changeset
|
151 (nth 1 (current-time))) |
0e668dd3f120
(display-time-24hr-format): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents:
8459
diff
changeset
|
152 ;; Record that mail file is accessible. |
0e668dd3f120
(display-time-24hr-format): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents:
8459
diff
changeset
|
153 (setq display-time-server-down-time nil)))))) |
8404
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
154 (24-hours (substring time 11 13)) |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
155 (hour (string-to-int 24-hours)) |
8804
0e668dd3f120
(display-time-24hr-format): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents:
8459
diff
changeset
|
156 (12-hours (int-to-string (1+ (% (+ hour 11) 12)))) |
8459
e1a2458245cb
(display-time-filter): pm starts at 12, not 13.
Richard M. Stallman <rms@gnu.org>
parents:
8404
diff
changeset
|
157 (am-pm (if (>= hour 12) "pm" "am")) |
8404
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
158 (minutes (substring time 14 16)) |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
159 (seconds (substring time 17 19)) |
12100 | 160 (time-zone (car (cdr (current-time-zone now)))) |
8404
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
161 (day (substring time 8 10)) |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
162 (year (substring time 20 24)) |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
163 (monthname (substring time 4 7)) |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
164 (month |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
165 (cdr |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
166 (assoc |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
167 monthname |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
168 '(("Jan" . "1") ("Feb" . "2") ("Mar" . "3") ("Apr" . "4") |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
169 ("May" . "5") ("Jun" . "6") ("Jul" . "7") ("Aug" . "8") |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
170 ("Sep" . "9") ("Oct" . "10") ("Nov" . "11") ("Dec" . "12"))))) |
49ffb0b7fd22
(display-time-string-forms): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
171 (dayname (substring time 0 3))) |
104 | 172 (setq display-time-string |
12440
5f4248eb4bdd
(display-time-filter): Move run-hooks inside let.
Richard M. Stallman <rms@gnu.org>
parents:
12100
diff
changeset
|
173 (mapconcat 'eval display-time-string-forms "")) |
5f4248eb4bdd
(display-time-filter): Move run-hooks inside let.
Richard M. Stallman <rms@gnu.org>
parents:
12100
diff
changeset
|
174 ;; This is inside the let binding, but we are not going to document |
5f4248eb4bdd
(display-time-filter): Move run-hooks inside let.
Richard M. Stallman <rms@gnu.org>
parents:
12100
diff
changeset
|
175 ;; what variables are available. |
5f4248eb4bdd
(display-time-filter): Move run-hooks inside let.
Richard M. Stallman <rms@gnu.org>
parents:
12100
diff
changeset
|
176 (run-hooks 'display-time-hook)) |
11568
9b2265dc03a6
(display-time-sentinel, display-time-filter): Use force-mode-line-update.
Karl Heuer <kwzh@gnu.org>
parents:
10317
diff
changeset
|
177 (force-mode-line-update) |
104 | 178 ;; Do redisplay right now, if no input pending. |
179 (sit-for 0)) | |
256 | 180 |
181 (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
|
182 (and (file-exists-p file) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
183 (< 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
|
184 |
fec3f9a1e3e5
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
387
diff
changeset
|
185 ;;; time.el ends here |