# HG changeset patch # User Kenichi Handa # Date 1187871204 0 # Node ID 850287d6448925e41f31042ec39f64ecd0c9004a # Parent 87ebf7823e2d9a52ca37f847cc62149a98740972 (gamegrid-setup-default-font): Calculate a font height that doesn't exceed the requested height by rounding off. diff -r 87ebf7823e2d -r 850287d64489 lisp/play/gamegrid.el --- a/lisp/play/gamegrid.el Wed Aug 22 12:34:48 2007 +0000 +++ b/lisp/play/gamegrid.el Thu Aug 23 12:13:24 2007 +0000 @@ -320,7 +320,14 @@ (< max-height height)) (setq max-height height)))))) (when (and max-height (< max-height 1)) - (set-face-attribute gamegrid-face nil :height max-height))))) + (let ((default-font-height (face-attribute 'default :height)) + (resy (/ (display-pixel-height) (/ (display-mm-height) 25.4))) + point-size pixel-size) + (setq point-size (/ (* (float default-font-height) max-height) 10) + pixel-size (floor (* resy (/ point-size 72.27))) + point-size (* (/ pixel-size resy) 72.27)) + (set-face-attribute gamegrid-face nil + :height (floor (* point-size 10)))))))) (defun gamegrid-initialize-display () (setq gamegrid-display-mode (gamegrid-display-type))