| Wed, 26 Feb 2003 10:18:43 +0000 |
Juanma Barranquero |
(gamegrid-add-score): Add info to docstring.
|
| Tue, 04 Feb 2003 13:24:35 +0000 |
Juanma Barranquero |
Trailing whitepace deleted.
|
| Mon, 23 Sep 2002 16:03:03 +0000 |
Richard M. Stallman |
(gamegrid-face): new variable to emulate a buffer-local default face.
|
| Tue, 10 Sep 2002 16:47:16 +0000 |
Richard M. Stallman |
(gamegrid-make-color-tty-face): Handle string as COLOR arg.
|
| Fri, 03 May 2002 19:30:58 +0000 |
Colin Walters |
(gamegrid-user-score-file-directory): New variable.
|
| Mon, 29 Apr 2002 22:53:44 +0000 |
Colin Walters |
(gamegrid-add-score-with-update-game-score): Test whether or not
|
| Tue, 23 Apr 2002 20:24:40 +0000 |
Colin Walters |
(gamegrid-add-score-with-update-game-score): Handle the case where
|
| Sat, 13 Apr 2002 20:26:36 +0000 |
Colin Walters |
(gamegrid-add-score-with-update-game-score): Renamed from `gamegrid-add-score'.
|
| Wed, 10 Apr 2002 23:16:45 +0000 |
Colin Walters |
Fix previous change.
|
| Wed, 10 Apr 2002 19:13:35 +0000 |
Colin Walters |
(gamegrid-add-score): Rewrite from scratch to use `update-game-score'.
|
| Sun, 03 Mar 2002 14:13:53 +0000 |
Richard M. Stallman |
(gamegrid-set-font, gamegrid-setup-face)
|
| Wed, 06 Feb 2002 11:34:07 +0000 |
Eli Zaretskii |
(gamegrid-display-type): Treat any
|
| Mon, 26 Nov 2001 16:16:45 +0000 |
Pavel Jank |
(gamegrid-init-buffer): Use insert instead of insert-string.
|
| Mon, 16 Jul 2001 09:10:19 +0000 |
Pavel Jank |
Some fixes to follow coding conventions.
|
| Sun, 14 Jun 1998 21:32:23 +0000 |
Richard M. Stallman |
Initial revision
|
