From 6d7f884c123d1c943279b701f0252e38baf50479 Mon Sep 17 00:00:00 2001 From: Eli Zaretskii Date: Sat, 19 Dec 2015 17:20:02 +0200 Subject: [PATCH] ; * etc/NEWS: Rearrange Info-related entries --- etc/NEWS | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/etc/NEWS b/etc/NEWS index d56c714f94c..562741a3f78 100644 --- a/etc/NEWS +++ b/etc/NEWS @@ -151,11 +151,6 @@ change in future releases. For that reason, their support is disabled by default, and must be enabled by using the `--with-modules' option at configure time. ---- -** Info mode now displays symbol names in fixed-pitch font. -If you want to get the old behavior back, customize the `Info-quoted' -face to use the same definitions as the default face. - +++ ** Any file of the form .dir-locals*.el is now considered a dir-local file, and multiple such files can be used in the same directory. See @@ -705,8 +700,15 @@ The remainder were: ** New js.el option `js-indent-first-init'. +** Info + +--- +** Info mode now displays symbol names in fixed-pitch font. +If you want to get the old behavior back, customize the `Info-quoted' +face to use the same definitions as the default face. + --- -** `Info-fontify-maximum-menu-size' can be t for no limit. +*** `Info-fontify-maximum-menu-size' can be t for no limit. +++ ** `info-display-manual' can now be given a prefix argument which (any -- 2.39.2