[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: A bug in tetris
From: |
Richard Stallman |
Subject: |
Re: A bug in tetris |
Date: |
Tue, 21 Aug 2007 19:24:26 -0400 |
Is this change relevant ot desirable?
Maybe the newlines in the gamegrid must be marked to not increase
line height by its own:
(propertize "\n" 'line-height t)
I think bojohan's patch should be installed in the trunk, even if it
isn't relevant to fixing this bug. Would someone please install it?
2007-08-19 Johan Bockgård <address@hidden>
* play/gamegrid.el (gamegrid-init): Set line-spacing to 0.
--- gamegrid.el 26 Jul 2007 18:02:08 +0200 1.29
+++ gamegrid.el 19 Aug 2007 17:32:53 +0200
@@ -386,6 +386,7 @@
(defun gamegrid-init (options)
(setq buffer-read-only t
truncate-lines t
+ line-spacing 0
gamegrid-display-options options)
(buffer-disable-undo (current-buffer))
(gamegrid-initialize-display))
- Re: A bug in tetris, (continued)
- Re: A bug in tetris, Richard Stallman, 2007/08/20
- Re: A bug in tetris, Kim F. Storm, 2007/08/21
- Re: A bug in tetris, Kenichi Handa, 2007/08/21
- Re: A bug in tetris, Kenichi Handa, 2007/08/23
- Re: A bug in tetris, Leo, 2007/08/23
- Re: A bug in tetris, Richard Stallman, 2007/08/21
- Re: A bug in tetris, Richard Stallman, 2007/08/20
- Re: A bug in tetris, Leo, 2007/08/20
- Re: A bug in tetris, Richard Stallman, 2007/08/19
Re: A bug in tetris, Leo, 2007/08/19
Re: A bug in tetris,
Richard Stallman <=