From 90f21696fe1f0a09db3891f8f7a0174fdc94dc7f Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Wed, 13 Jul 2016 12:23:22 +0200 Subject: [PATCH] ; Spelling fixes --- doc/misc/efaq.texi | 2 +- etc/PROBLEMS | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/misc/efaq.texi b/doc/misc/efaq.texi index b72b2d7c2c6..72a90a1ff21 100644 --- a/doc/misc/efaq.texi +++ b/doc/misc/efaq.texi @@ -1050,7 +1050,7 @@ Search command can now perform character folding in matches. This is analogous to case folding, but instead of disregarding case variants, it disregards wider classes of distinctions between similar characters, such as matching different variants of double quote -characters, ignoring diacriticals, etc. +characters, ignoring diacritics, etc. @cindex eww @item diff --git a/etc/PROBLEMS b/etc/PROBLEMS index 2febd82bd72..2b3becf4d93 100644 --- a/etc/PROBLEMS +++ b/etc/PROBLEMS @@ -989,13 +989,13 @@ occurrence of the failure. So far, the failure has been observed with GTK+ versions 3.4.2, 3.14.5 and 3.18.7. However, another 3.4.2 build does not exhibit the bug. -Some window managers (xfce) apparently work around this failure by +Some window managers (Xfce) apparently work around this failure by cropping the menu bar. With other windows managers, it's possible to shrink the frame manually after the problem occurs, e.g. by dragging the frame's border with the mouse. However, some window managers have been reported to refuse such attempts and snap back to the width needed to show the full menu bar (wmii) or at least cause the screen to flicker -during such resizing attempts (i3, icewm). +during such resizing attempts (i3, IceWM). See also http://debbugs.gnu.org/cgi/bugreport.cgi?bug=15700, http://debbugs.gnu.org/cgi/bugreport.cgi?bug=22000, -- 2.39.2