(gamegrid-setup-default-font): Calculate a font

height that doesn't exceed the requested height by rounding off.
This commit is contained in:
Kenichi Handa 2007-08-23 12:13:24 +00:00
parent 3898f05006
commit 34764b7311

View file

@ -320,7 +320,14 @@ static unsigned char gamegrid_bits[] = {
(< 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))