Fix for gomoku-display-statistics.
* play/gomoku.el (gomoku-display-statistics): Update mode line only if in Gomoku buffer; don't capitalize "won". Fixes: debbugs:12771
This commit is contained in:
parent
df43dd5361
commit
b4b096e420
2 changed files with 17 additions and 10 deletions
|
@ -1,3 +1,8 @@
|
|||
2012-11-01 Stephen Berman <stephen.berman@gmx.net>
|
||||
|
||||
* play/gomoku.el (gomoku-display-statistics): Update mode line
|
||||
only if in Gomoku buffer; don't capitalize "won" (Bug#12771).
|
||||
|
||||
2012-10-31 Martin Rudalics <rudalics@gmx.at>
|
||||
|
||||
* window.el (quit-restore-window): If the window has been
|
||||
|
|
|
@ -1054,16 +1054,18 @@ If the game is finished, this command requests for another game."
|
|||
|
||||
(defun gomoku-display-statistics ()
|
||||
"Obnoxiously display some statistics about previous games in mode line."
|
||||
;; We store this string in the mode-line-process local variable.
|
||||
;; This is certainly not the cleanest way out ...
|
||||
(setq mode-line-process
|
||||
(format ": Won %d, lost %d%s"
|
||||
gomoku-number-of-human-wins
|
||||
gomoku-number-of-emacs-wins
|
||||
(if (zerop gomoku-number-of-draws)
|
||||
""
|
||||
(format ", drew %d" gomoku-number-of-draws))))
|
||||
(force-mode-line-update))
|
||||
;; Update mode line only if Gomoku buffer is current (Bug#12771).
|
||||
(when (string-equal (buffer-name) gomoku-buffer-name)
|
||||
;; We store this string in the mode-line-process local variable.
|
||||
;; This is certainly not the cleanest way out ...
|
||||
(setq mode-line-process
|
||||
(format ": won %d, lost %d%s"
|
||||
gomoku-number-of-human-wins
|
||||
gomoku-number-of-emacs-wins
|
||||
(if (zerop gomoku-number-of-draws)
|
||||
""
|
||||
(format ", drew %d" gomoku-number-of-draws))))
|
||||
(force-mode-line-update)))
|
||||
|
||||
(defun gomoku-switch-to-window ()
|
||||
"Find or create the Gomoku buffer, and display it."
|
||||
|
|
Loading…
Add table
Reference in a new issue