Mercurial > emacs
annotate lisp/play/mpuz.el @ 63092:80ef8a2a052d
(debug): Don't bury the buffer unless it's in a dedicated window.
| author | Stefan Monnier <monnier@iro.umontreal.ca> |
|---|---|
| date | Mon, 06 Jun 2005 19:47:05 +0000 |
| parents | 93e71f3dcd14 |
| children | 5592f504d53f 01137c1fdbe9 |
| rev | line source |
|---|---|
|
659
505130d1ddf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
232
diff
changeset
|
1 ;;; mpuz.el --- multiplication puzzle for GNU Emacs |
|
505130d1ddf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
232
diff
changeset
|
2 |
|
62249
eaa9acd9122c
Update years in copyright notice; nfc.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
52401
diff
changeset
|
3 ;; Copyright (C) 1990, 2002, 2005 Free Software Foundation, Inc. |
| 838 | 4 |
| 19963 | 5 ;; Author: Philippe Schnoebelen <phs@lsv.ens-cachan.fr> |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
6 ;; Overhauled: Daniel Pfeiffer <occitan@esperanto.org> |
|
791
203c23c9f22c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
7 ;; Keywords: games |
|
203c23c9f22c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
8 |
| 142 | 9 ;; This file is part of GNU Emacs. |
| 10 | |
|
6736
3e1323443b1a
Fix copying conditions for current GPL version.
Richard M. Stallman <rms@gnu.org>
parents:
4400
diff
changeset
|
11 ;; GNU Emacs is free software; you can redistribute it and/or modify |
|
3e1323443b1a
Fix copying conditions for current GPL version.
Richard M. Stallman <rms@gnu.org>
parents:
4400
diff
changeset
|
12 ;; it under the terms of the GNU General Public License as published by |
|
3e1323443b1a
Fix copying conditions for current GPL version.
Richard M. Stallman <rms@gnu.org>
parents:
4400
diff
changeset
|
13 ;; the Free Software Foundation; either version 2, or (at your option) |
|
3e1323443b1a
Fix copying conditions for current GPL version.
Richard M. Stallman <rms@gnu.org>
parents:
4400
diff
changeset
|
14 ;; any later version. |
| 142 | 15 |
|
6736
3e1323443b1a
Fix copying conditions for current GPL version.
Richard M. Stallman <rms@gnu.org>
parents:
4400
diff
changeset
|
16 ;; GNU Emacs is distributed in the hope that it will be useful, |
|
3e1323443b1a
Fix copying conditions for current GPL version.
Richard M. Stallman <rms@gnu.org>
parents:
4400
diff
changeset
|
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of |
|
3e1323443b1a
Fix copying conditions for current GPL version.
Richard M. Stallman <rms@gnu.org>
parents:
4400
diff
changeset
|
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
|
3e1323443b1a
Fix copying conditions for current GPL version.
Richard M. Stallman <rms@gnu.org>
parents:
4400
diff
changeset
|
19 ;; GNU General Public License for more details. |
|
3e1323443b1a
Fix copying conditions for current GPL version.
Richard M. Stallman <rms@gnu.org>
parents:
4400
diff
changeset
|
20 |
|
3e1323443b1a
Fix copying conditions for current GPL version.
Richard M. Stallman <rms@gnu.org>
parents:
4400
diff
changeset
|
21 ;; You should have received a copy of the GNU General Public License |
| 14169 | 22 ;; along with GNU Emacs; see the file COPYING. If not, write to the |
| 23 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
| 24 ;; Boston, MA 02111-1307, USA. | |
| 142 | 25 |
|
2308
f287613dfc28
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
1217
diff
changeset
|
26 ;;; Commentary: |
|
f287613dfc28
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
1217
diff
changeset
|
27 |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
28 ;; `M-x mpuz' generates a random multiplication puzzle. This is a |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
29 ;; multiplication example in which each digit has been consistently replaced |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
30 ;; with some letter. Your job is to reconstruct the original digits. Type |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
31 ;; `?' while the mode is active for detailed help. |
|
2308
f287613dfc28
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
1217
diff
changeset
|
32 |
|
791
203c23c9f22c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
33 ;;; Code: |
|
203c23c9f22c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
34 |
| 21363 | 35 (defgroup mpuz nil |
| 36 "Multiplication puzzle." | |
| 37 :prefix "mpuz-" | |
| 38 :group 'games) | |
| 39 | |
| 142 | 40 (random t) ; randomize |
| 41 | |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
42 (defcustom mpuz-silent 'error |
|
50861
0d21b78dd68e
(mpuz-silent): Don't quote nil and t in docstrings.
Juanma Barranquero <lekktu@gmail.com>
parents:
45113
diff
changeset
|
43 "*Set this to nil if you want dings on inputs. |
|
0d21b78dd68e
(mpuz-silent): Don't quote nil and t in docstrings.
Juanma Barranquero <lekktu@gmail.com>
parents:
45113
diff
changeset
|
44 t means never ding, and `error' means only ding on wrong input." |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
45 :type '(choice (const :tag "No" nil) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
46 (const :tag "Yes" t) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
47 (const :tag "If correct" error)) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
48 :group 'mpuz) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
49 |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
50 (defcustom mpuz-solve-when-trivial t |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
51 "*Solve any row that can be trivially calculated from what you've found." |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
52 :type 'boolean |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
53 :group 'mpuz) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
54 |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
55 (defcustom mpuz-allow-double-multiplicator nil |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
56 "*Allow 2nd factors like 33 or 77." |
| 21363 | 57 :type 'boolean |
| 58 :group 'mpuz) | |
| 142 | 59 |
|
43825
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
60 (defface mpuz-unsolved-face |
|
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
61 '((((class color)) (:foreground "red1" :bold t)) |
|
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
62 (t (:bold t))) |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
63 "*Face to use for letters to be solved." |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
64 :group 'mpuz) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
65 |
|
43825
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
66 (defface mpuz-solved-face |
|
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
67 '((((class color)) (:foreground "green1" :bold t)) |
|
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
68 (t (:bold t))) |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
69 "*Face to use for solved digits." |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
70 :group 'mpuz) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
71 |
|
43825
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
72 (defface mpuz-trivial-face |
|
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
73 '((((class color)) (:foreground "blue" :bold t)) |
|
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
74 (t (:bold t))) |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
75 "*Face to use for trivial digits solved for you." |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
76 :group 'mpuz) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
77 |
|
43825
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
78 (defface mpuz-text-face |
|
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
79 '((t (:inherit variable-pitch))) |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
80 "*Face to use for text on right." |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
81 :group 'mpuz) |
| 142 | 82 |
| 83 | |
| 84 ;; Mpuz mode and keymaps | |
| 85 ;;---------------------- | |
| 21363 | 86 (defcustom mpuz-mode-hook nil |
| 87 "Hook to run upon entry to mpuz." | |
| 88 :type 'hook | |
| 89 :group 'mpuz) | |
| 142 | 90 |
| 91 (defvar mpuz-mode-map nil | |
| 92 "Local keymap to use in Mult Puzzle.") | |
| 93 | |
| 94 (if mpuz-mode-map nil | |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
95 (setq mpuz-mode-map (make-sparse-keymap)) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
96 (define-key mpuz-mode-map "a" 'mpuz-try-letter) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
97 (define-key mpuz-mode-map "b" 'mpuz-try-letter) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
98 (define-key mpuz-mode-map "c" 'mpuz-try-letter) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
99 (define-key mpuz-mode-map "d" 'mpuz-try-letter) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
100 (define-key mpuz-mode-map "e" 'mpuz-try-letter) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
101 (define-key mpuz-mode-map "f" 'mpuz-try-letter) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
102 (define-key mpuz-mode-map "g" 'mpuz-try-letter) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
103 (define-key mpuz-mode-map "h" 'mpuz-try-letter) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
104 (define-key mpuz-mode-map "i" 'mpuz-try-letter) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
105 (define-key mpuz-mode-map "j" 'mpuz-try-letter) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
106 (define-key mpuz-mode-map "A" 'mpuz-try-letter) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
107 (define-key mpuz-mode-map "B" 'mpuz-try-letter) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
108 (define-key mpuz-mode-map "C" 'mpuz-try-letter) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
109 (define-key mpuz-mode-map "D" 'mpuz-try-letter) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
110 (define-key mpuz-mode-map "E" 'mpuz-try-letter) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
111 (define-key mpuz-mode-map "F" 'mpuz-try-letter) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
112 (define-key mpuz-mode-map "G" 'mpuz-try-letter) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
113 (define-key mpuz-mode-map "H" 'mpuz-try-letter) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
114 (define-key mpuz-mode-map "I" 'mpuz-try-letter) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
115 (define-key mpuz-mode-map "J" 'mpuz-try-letter) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
116 (define-key mpuz-mode-map "\C-g" 'mpuz-offer-abort) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
117 (define-key mpuz-mode-map "?" 'describe-mode)) |
| 142 | 118 |
| 119 (defun mpuz-mode () | |
|
1217
d0b19afef0ae
Fix setup of mpuz-read-map not to depend on keymap format.
Richard M. Stallman <rms@gnu.org>
parents:
838
diff
changeset
|
120 "Multiplication puzzle mode. |
| 142 | 121 |
| 232 | 122 You have to guess which letters stand for which digits in the |
|
1217
d0b19afef0ae
Fix setup of mpuz-read-map not to depend on keymap format.
Richard M. Stallman <rms@gnu.org>
parents:
838
diff
changeset
|
123 multiplication displayed inside the `*Mult Puzzle*' buffer. |
| 142 | 124 |
|
1217
d0b19afef0ae
Fix setup of mpuz-read-map not to depend on keymap format.
Richard M. Stallman <rms@gnu.org>
parents:
838
diff
changeset
|
125 You may enter a guess for a letter's value by typing first the letter, |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
126 then the digit. Thus, to guess that A=3, type `A 3'. |
| 142 | 127 |
|
1217
d0b19afef0ae
Fix setup of mpuz-read-map not to depend on keymap format.
Richard M. Stallman <rms@gnu.org>
parents:
838
diff
changeset
|
128 To leave the game to do other editing work, just switch buffers. |
|
d0b19afef0ae
Fix setup of mpuz-read-map not to depend on keymap format.
Richard M. Stallman <rms@gnu.org>
parents:
838
diff
changeset
|
129 Then you may resume the game with M-x mpuz. |
|
d0b19afef0ae
Fix setup of mpuz-read-map not to depend on keymap format.
Richard M. Stallman <rms@gnu.org>
parents:
838
diff
changeset
|
130 You may abort a game by typing \\<mpuz-mode-map>\\[mpuz-offer-abort]." |
| 142 | 131 (interactive) |
| 62770 | 132 (kill-all-local-variables) |
| 142 | 133 (setq major-mode 'mpuz-mode |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
134 mode-name "Mult Puzzle" |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
135 tab-width 30) |
| 142 | 136 (use-local-map mpuz-mode-map) |
| 62770 | 137 (run-mode-hooks 'mpuz-mode-hook)) |
| 142 | 138 |
| 139 | |
| 140 ;; Some variables for statistics | |
| 141 ;;------------------------------ | |
| 142 (defvar mpuz-nb-errors 0 | |
| 232 | 143 "Number of errors made in current game.") |
| 142 | 144 |
| 145 (defvar mpuz-nb-completed-games 0 | |
| 232 | 146 "Number of games completed.") |
| 142 | 147 |
| 148 (defvar mpuz-nb-cumulated-errors 0 | |
| 149 "Number of errors made in previous games.") | |
| 150 | |
| 151 | |
| 152 ;; Some variables for game tracking | |
| 153 ;;--------------------------------- | |
| 154 (defvar mpuz-in-progress nil | |
| 155 "True if a game is currently in progress.") | |
| 156 | |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
157 (defvar mpuz-found-digits (make-bool-vector 10 nil) |
| 142 | 158 "A vector recording which digits have been decrypted.") |
| 159 | |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
160 (defvar mpuz-trivial-digits (make-bool-vector 10 nil) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
161 "A vector recording which digits have been solved for you.") |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
162 |
| 142 | 163 (defmacro mpuz-digit-solved-p (digit) |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
164 `(or (aref mpuz-found-digits ,digit) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
165 (aref mpuz-trivial-digits ,digit))) |
| 142 | 166 |
| 167 | |
| 168 ;; A puzzle uses a permutation of [0..9] into itself. | |
| 169 ;; We use both the permutation and its inverse. | |
| 170 ;;--------------------------------------------------- | |
| 171 (defvar mpuz-digit-to-letter (make-vector 10 0) | |
| 172 "A permutation from [0..9] to [0..9].") | |
| 173 | |
| 174 (defvar mpuz-letter-to-digit (make-vector 10 0) | |
| 175 "The inverse of mpuz-digit-to-letter.") | |
| 176 | |
| 177 (defmacro mpuz-to-digit (letter) | |
| 178 (list 'aref 'mpuz-letter-to-digit letter)) | |
| 179 | |
| 180 (defmacro mpuz-to-letter (digit) | |
| 181 (list 'aref 'mpuz-digit-to-letter digit)) | |
| 182 | |
| 183 (defun mpuz-build-random-perm () | |
| 184 "Initialize puzzle coding with a random permutation." | |
| 185 (let ((letters (list 0 1 2 3 4 5 6 7 8 9)) ; new cons cells, because of delq | |
| 186 (index 10) | |
| 187 elem) | |
| 188 (while letters | |
| 4400 | 189 (setq elem (nth (random index) letters) |
| 142 | 190 letters (delq elem letters) |
| 191 index (1- index)) | |
| 192 (aset mpuz-digit-to-letter index elem) | |
| 193 (aset mpuz-letter-to-digit elem index)))) | |
| 194 | |
| 195 | |
|
3591
507f64624555
Apply typo patches from Paul Eggert.
Jim Blandy <jimb@redhat.com>
parents:
2451
diff
changeset
|
196 ;; A puzzle also uses a board displaying a multiplication. |
| 142 | 197 ;; Every digit appears in the board, crypted or not. |
| 198 ;;------------------------------------------------------ | |
| 199 (defvar mpuz-board (make-vector 10 nil) | |
|
4345
49e68bc65e26
* mpuz.el (mpuz-board): Doc fix.
Jim Blandy <jimb@redhat.com>
parents:
3591
diff
changeset
|
200 "The board associates to any digit the list of squares where it appears.") |
| 142 | 201 |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
202 (defun mpuz-put-number-on-board (number row &rest l) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
203 "Put (last digit of) NUMBER on ROW and COLUMNS of the puzzle board." |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
204 (let (digit) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
205 (while l |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
206 (setq digit (% number 10) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
207 number (/ number 10)) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
208 (aset mpuz-board digit `((,row . ,(car l)) ,@(aref mpuz-board digit))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
209 (setq l (cdr l))))) |
| 142 | 210 |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
211 (defun mpuz-check-all-solved (&optional row col) |
| 142 | 212 "Check whether all digits have been solved. Return t if yes." |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
213 (catch 'solved |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
214 (let (A B1 B2 C D E squares) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
215 (and mpuz-solve-when-trivial |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
216 (not row) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
217 (while |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
218 (cond ((or (and (setq B1 (or B1 (mpuz-check-all-solved 4 7)) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
219 B2 (or B2 (mpuz-check-all-solved 4 9)) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
220 E (or E (mpuz-check-all-solved 10)) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
221 A (or A (mpuz-check-all-solved 2))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
222 B1 B2) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
223 (and E (or A (and B1 B2)))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
224 (mpuz-solve) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
225 (mpuz-paint-board) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
226 (throw 'solved t)) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
227 ((and (setq D (or D (mpuz-check-all-solved 8)) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
228 C (or C (mpuz-check-all-solved 6))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
229 D (not E)) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
230 (mpuz-solve 10)) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
231 ((and E (not (eq C D))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
232 (mpuz-solve (if D 6 8))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
233 ((and A (not (eq B2 C))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
234 (mpuz-solve (if C 4 6) (if C 9))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
235 ((and A (not (eq B1 D))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
236 (mpuz-solve (if D 4 8) (if D 7))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
237 ((and (not A) (or (and B2 C) (and B1 D))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
238 (mpuz-solve 2))))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
239 (mpuz-paint-board) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
240 (mapc (lambda (digit) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
241 (and (not (mpuz-digit-solved-p digit)) ; unsolved |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
242 (setq squares (aref mpuz-board digit)) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
243 (if row |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
244 (if col |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
245 (member (cons row col) squares) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
246 (assq row squares)) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
247 squares) ; and appearing in the puzzle! |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
248 (throw 'solved nil))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
249 [0 1 2 3 4 5 6 7 8 9])) |
| 142 | 250 t)) |
| 251 | |
| 252 | |
| 253 ;; To build a puzzle, we take two random numbers and multiply them. | |
| 254 ;; We also take a random permutation for encryption. | |
| 255 ;; The random numbers are only use to see which digit appears in which square | |
| 256 ;; of the board. Everything is stored in individual squares. | |
| 257 ;;--------------------------------------------------------------------------- | |
| 258 (defun mpuz-random-puzzle () | |
| 259 "Draw random values to be multiplied in a puzzle." | |
| 260 (mpuz-build-random-perm) | |
| 261 (fillarray mpuz-board nil) ; erase the board | |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
262 ;; A,B,C,D & E, are the five rows of our multiplication. |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
263 ;; Choose random values, discarding cases with leading zeros in C or D. |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
264 (let* ((A (+ 112 (random 888))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
265 (min (1+ (/ 1000 A))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
266 (B1 (+ min (random (- 10 min)))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
267 B2 C D E) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
268 (while (if (= B1 (setq B2 (+ min (random (- 10 min))))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
269 (not mpuz-allow-double-multiplicator))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
270 (setq C (* A B2) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
271 D (* A B1) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
272 E (+ C (* D 10))) |
| 14040 | 273 ;; Individual digits are now put on their respective squares. |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
274 ;; [NB: A square is a pair (row . column) of the screen.] |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
275 (mpuz-put-number-on-board A 2 9 7 5) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
276 (mpuz-put-number-on-board (+ (* B1 10) B2) 4 9 7) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
277 (mpuz-put-number-on-board C 6 9 7 5 3) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
278 (mpuz-put-number-on-board D 8 7 5 3 1) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
279 (mpuz-put-number-on-board E 10 9 7 5 3 1))) |
| 142 | 280 |
| 281 ;; Display | |
| 282 ;;-------- | |
| 283 (defconst mpuz-framework | |
| 284 " | |
| 285 . . . | |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
286 Number of errors (this game): 0 |
| 142 | 287 x . . |
| 288 ------- | |
| 289 . . . . | |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
290 Number of completed games: 0 |
| 142 | 291 . . . . |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
292 --------- Average number of errors: 0.00 |
| 142 | 293 . . . . ." |
| 294 "The general picture of the puzzle screen, as a string.") | |
| 295 | |
| 296 (defun mpuz-create-buffer () | |
| 297 "Create (or recreate) the puzzle buffer. Return it." | |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
298 (let ((buf (get-buffer-create "*Mult Puzzle*")) |
|
43825
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
299 (face '(face mpuz-text-face)) |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
300 buffer-read-only) |
| 142 | 301 (save-excursion |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
302 (set-buffer buf) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
303 (erase-buffer) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
304 (insert mpuz-framework) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
305 (set-text-properties 13 42 face) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
306 (set-text-properties 79 105 face) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
307 (set-text-properties 128 153 face) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
308 (mpuz-paint-board) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
309 (mpuz-paint-errors) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
310 (mpuz-paint-statistics)) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
311 buf)) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
312 |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
313 (defun mpuz-paint-number (n &optional eol words) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
314 (end-of-line eol) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
315 (let (buffer-read-only) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
316 (delete-region (point) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
317 (progn (backward-word (or words 1)) (point))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
318 (insert n))) |
| 142 | 319 |
| 320 (defun mpuz-paint-errors () | |
| 321 "Paint error count on the puzzle screen." | |
| 322 (mpuz-switch-to-window) | |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
323 (goto-line 3) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
324 (mpuz-paint-number (prin1-to-string mpuz-nb-errors))) |
| 142 | 325 |
| 326 (defun mpuz-paint-statistics () | |
| 327 "Paint statistics about previous games on the puzzle screen." | |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
328 (goto-line 7) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
329 (mpuz-paint-number (prin1-to-string mpuz-nb-completed-games)) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
330 (mpuz-paint-number |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
331 (format "%.2f" |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
332 (if (zerop mpuz-nb-completed-games) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
333 0 |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
334 (/ (+ 0.0 mpuz-nb-cumulated-errors) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
335 mpuz-nb-completed-games))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
336 3 2)) |
| 142 | 337 |
| 338 (defun mpuz-paint-board () | |
| 339 "Paint board situation on the puzzle screen." | |
| 340 (mpuz-switch-to-window) | |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
341 (mapc 'mpuz-paint-digit [0 1 2 3 4 5 6 7 8 9]) |
| 142 | 342 (goto-char (point-min))) |
| 343 | |
| 344 (defun mpuz-paint-digit (digit) | |
| 345 "Paint all occurrences of DIGIT on the puzzle board." | |
| 346 (let ((char (if (mpuz-digit-solved-p digit) | |
| 347 (+ digit ?0) | |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
348 (+ (mpuz-to-letter digit) ?A))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
349 (face `(face |
|
43825
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
350 ,(cond ((aref mpuz-trivial-digits digit) 'mpuz-trivial-face) |
|
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
351 ((aref mpuz-found-digits digit) 'mpuz-solved-face) |
|
5f6458644514
Use defface instead of facemenu-get-face.
Eli Zaretskii <eliz@gnu.org>
parents:
43770
diff
changeset
|
352 ('mpuz-unsolved-face)))) |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
353 buffer-read-only) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
354 (mapc (lambda (square) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
355 (goto-line (car square)) ; line before column! |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
356 (move-to-column (cdr square)) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
357 (insert char) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
358 (set-text-properties (1- (point)) (point) face) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
359 (delete-char 1)) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
360 (aref mpuz-board digit)))) |
| 142 | 361 |
| 362 (defun mpuz-get-buffer () | |
| 363 "Get the puzzle buffer if it exists." | |
| 364 (get-buffer "*Mult Puzzle*")) | |
| 365 | |
| 366 (defun mpuz-switch-to-window () | |
| 367 "Find or create the Mult-Puzzle buffer, and display it." | |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
368 (let ((buf (mpuz-get-buffer))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
369 (or buf (setq buf (mpuz-create-buffer))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
370 (switch-to-buffer buf) |
|
45113
f929d5e6ced1
(mpuz-switch-to-window): Set buffer-read-only directly.
Richard M. Stallman <rms@gnu.org>
parents:
43825
diff
changeset
|
371 (setq buffer-read-only t) |
| 142 | 372 (mpuz-mode))) |
| 373 | |
| 374 | |
| 375 ;; Game control | |
| 376 ;;------------- | |
| 377 (defun mpuz-start-new-game () | |
| 378 "Start a new puzzle." | |
| 379 (message "Here we go...") | |
| 380 (setq mpuz-nb-errors 0 | |
| 381 mpuz-in-progress t) | |
| 382 (fillarray mpuz-found-digits nil) ; initialize mpuz-found-digits | |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
383 (fillarray mpuz-trivial-digits nil) |
| 142 | 384 (mpuz-random-puzzle) |
| 385 (mpuz-switch-to-window) | |
| 386 (mpuz-paint-board) | |
| 387 (mpuz-paint-errors) | |
| 388 (mpuz-ask-for-try)) | |
| 389 | |
|
1217
d0b19afef0ae
Fix setup of mpuz-read-map not to depend on keymap format.
Richard M. Stallman <rms@gnu.org>
parents:
838
diff
changeset
|
390 ;;;###autoload |
|
d0b19afef0ae
Fix setup of mpuz-read-map not to depend on keymap format.
Richard M. Stallman <rms@gnu.org>
parents:
838
diff
changeset
|
391 (defun mpuz () |
| 142 | 392 "Multiplication puzzle with GNU Emacs." |
| 393 ;; Main entry point | |
| 394 (interactive) | |
| 395 (mpuz-switch-to-window) | |
| 396 (if mpuz-in-progress | |
| 397 (mpuz-offer-abort) | |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
398 (mpuz-start-new-game))) |
| 142 | 399 |
| 400 (defun mpuz-offer-abort () | |
| 401 "Ask if user wants to abort current puzzle." | |
| 402 (interactive) | |
| 403 (if (y-or-n-p "Abort game ") | |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
404 (let ((buf (mpuz-get-buffer))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
405 (message "Mult Puzzle aborted.") |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
406 (setq mpuz-in-progress nil |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
407 mpuz-nb-errors 0) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
408 (fillarray mpuz-board nil) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
409 (if buf (kill-buffer buf))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
410 (mpuz-ask-for-try))) |
| 142 | 411 |
| 412 (defun mpuz-ask-for-try () | |
| 413 "Ask for user proposal in puzzle." | |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
414 (message "Your try?")) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
415 |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
416 (defun mpuz-ding (error) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
417 "Dings, unless global variable `mpuz-silent' forbids it." |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
418 (cond ((eq mpuz-silent t)) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
419 ((not mpuz-silent) (ding t)) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
420 (error (ding t)))) |
| 142 | 421 |
| 422 (defun mpuz-try-letter () | |
| 423 "Propose a digit for a letter in puzzle." | |
| 424 (interactive) | |
| 425 (if mpuz-in-progress | |
| 426 (let (letter-char digit digit-char message) | |
|
2451
a149f1464f40
(mpuz-try-letter): Use read-char to read digit.
Richard M. Stallman <rms@gnu.org>
parents:
2308
diff
changeset
|
427 (setq letter-char (upcase last-command-char) |
| 142 | 428 digit (mpuz-to-digit (- letter-char ?A))) |
| 429 (cond ((mpuz-digit-solved-p digit) | |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
430 (message "%c already solved." letter-char) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
431 (mpuz-ding t)) |
| 142 | 432 ((null (aref mpuz-board digit)) |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
433 (message "%c does not appear." letter-char) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
434 (mpuz-ding t)) |
|
2451
a149f1464f40
(mpuz-try-letter): Use read-char to read digit.
Richard M. Stallman <rms@gnu.org>
parents:
2308
diff
changeset
|
435 ((progn (message "%c = " letter-char) |
| 142 | 436 ;; <char> has been entered. |
| 437 ;; Print "<char> =" and | |
| 438 ;; read <num> or = <num> | |
|
2451
a149f1464f40
(mpuz-try-letter): Use read-char to read digit.
Richard M. Stallman <rms@gnu.org>
parents:
2308
diff
changeset
|
439 (setq digit-char (read-char)) |
|
a149f1464f40
(mpuz-try-letter): Use read-char to read digit.
Richard M. Stallman <rms@gnu.org>
parents:
2308
diff
changeset
|
440 (if (eq digit-char ?=) |
|
a149f1464f40
(mpuz-try-letter): Use read-char to read digit.
Richard M. Stallman <rms@gnu.org>
parents:
2308
diff
changeset
|
441 (setq digit-char (read-char))) |
| 142 | 442 (or (> digit-char ?9) (< digit-char ?0))) ; bad input |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
443 (message "%c = %c" letter-char digit-char) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
444 (mpuz-ding t)) |
| 142 | 445 (t |
| 446 (mpuz-try-proposal letter-char digit-char)))) | |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
447 (if (y-or-n-p "Start a new game ") |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
448 (mpuz-start-new-game) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
449 (message "OK. I won't.")))) |
| 142 | 450 |
| 451 (defun mpuz-try-proposal (letter-char digit-char) | |
| 452 "Propose LETTER-CHAR as code for DIGIT-CHAR." | |
| 453 (let* ((letter (- letter-char ?A)) | |
| 454 (digit (- digit-char ?0)) | |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
455 (correct-digit (mpuz-to-digit letter)) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
456 (game mpuz-nb-completed-games)) |
| 142 | 457 (cond ((mpuz-digit-solved-p correct-digit) |
|
24859
0291983fe62f
(mpuz-try-proposal): Fix message call.
Karl Heuer <kwzh@gnu.org>
parents:
21363
diff
changeset
|
458 (message "%c has already been found." (+ correct-digit ?0))) |
|
0291983fe62f
(mpuz-try-proposal): Fix message call.
Karl Heuer <kwzh@gnu.org>
parents:
21363
diff
changeset
|
459 ((mpuz-digit-solved-p digit) |
|
0291983fe62f
(mpuz-try-proposal): Fix message call.
Karl Heuer <kwzh@gnu.org>
parents:
21363
diff
changeset
|
460 (message "%c has already been placed." digit-char)) |
| 142 | 461 ((= digit correct-digit) |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
462 (message "%c = %c correct!" letter-char digit-char) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
463 (mpuz-ding nil) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
464 (aset mpuz-found-digits digit t) ; Mark digit as solved |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
465 (and (mpuz-check-all-solved) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
466 (mpuz-close-game))) |
| 142 | 467 (t ;;; incorrect guess |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
468 (message "%c = %c incorrect!" letter-char digit-char) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
469 (mpuz-ding t) |
| 142 | 470 (setq mpuz-nb-errors (1+ mpuz-nb-errors)) |
| 471 (mpuz-paint-errors))))) | |
| 472 | |
| 473 (defun mpuz-close-game () | |
| 474 "Housecleaning when puzzle has been solved." | |
| 475 (setq mpuz-in-progress nil | |
| 476 mpuz-nb-cumulated-errors (+ mpuz-nb-cumulated-errors mpuz-nb-errors) | |
| 477 mpuz-nb-completed-games (1+ mpuz-nb-completed-games)) | |
| 478 (mpuz-paint-statistics) | |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
479 (let ((message (format "Puzzle solved with %d error%s. That's %s" |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
480 mpuz-nb-errors |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
481 (if (= mpuz-nb-errors 1) "" "s") |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
482 (cond ((= mpuz-nb-errors 0) "perfect!") |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
483 ((= mpuz-nb-errors 1) "very good!") |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
484 ((= mpuz-nb-errors 2) "good.") |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
485 ((= mpuz-nb-errors 3) "not bad.") |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
486 ((= mpuz-nb-errors 4) "not too bad...") |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
487 ((< mpuz-nb-errors 10) "bad!") |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
488 ((< mpuz-nb-errors 15) "awful.") |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
489 (t "not serious."))))) |
| 142 | 490 (message message) |
| 491 (sit-for 4) | |
| 492 (if (y-or-n-p (concat message " Start a new game ")) | |
| 493 (mpuz-start-new-game) | |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
494 (message "Good Bye!")))) |
| 142 | 495 |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
496 (defun mpuz-solve (&optional row col) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
497 "Find solution for autosolving." |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
498 (mapc (lambda (digit) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
499 (or (mpuz-digit-solved-p digit) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
500 (if row |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
501 (not (if col |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
502 (member (cons row col) (aref mpuz-board digit)) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
503 (assq row (aref mpuz-board digit))))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
504 (aset mpuz-trivial-digits digit t))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
505 [0 1 2 3 4 5 6 7 8 9]) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
506 t) |
| 142 | 507 |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
508 (defun mpuz-show-solution (row) |
| 142 | 509 "Display solution for debugging purposes." |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
510 (interactive "P") |
| 142 | 511 (mpuz-switch-to-window) |
|
43770
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
512 (mpuz-solve (if row (* 2 (prefix-numeric-value row)))) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
513 (mpuz-paint-board) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
514 (if (mpuz-check-all-solved) |
|
a6103ef77add
(mpuz-unsolved-face, mpuz-solved-face)
Eli Zaretskii <eliz@gnu.org>
parents:
42206
diff
changeset
|
515 (mpuz-close-game))) |
| 142 | 516 |
| 18383 | 517 (provide 'mpuz) |
| 518 | |
| 52401 | 519 ;;; arch-tag: 2781d6ba-89e7-43b5-85c7-5d3a2e73feb1 |
|
659
505130d1ddf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
232
diff
changeset
|
520 ;;; mpuz.el ends here |
