# HG changeset patch # User Gerd Moellmann # Date 968335523 0 # Node ID 628bb2264f464a76a74b76f16ea2039dced1bf5c # Parent 8fa16830e83323aa3b5139a3a26814898a00b274 (smaller_face): Compare font heights with `<' and `>' instead of `!='. diff -r 8fa16830e833 -r 628bb2264f46 src/xfaces.c --- a/src/xfaces.c Thu Sep 07 13:51:59 2000 +0000 +++ b/src/xfaces.c Thu Sep 07 14:05:23 2000 +0000 @@ -5329,7 +5329,8 @@ new_face = FACE_FROM_ID (f, new_face_id); /* If height changes, count that as one step. */ - if (FONT_HEIGHT (new_face->font) != last_height) + if ((delta < 0 && FONT_HEIGHT (new_face->font) < last_height) + || (delta > 0 && FONT_HEIGHT (new_face->font) > last_height)) { --steps; last_height = FONT_HEIGHT (new_face->font);