; Spelling fixes

This commit is contained in:
Paul Eggert 2016-07-13 12:23:22 +02:00
parent 069fc05bd5
commit 90f21696fe
2 changed files with 3 additions and 3 deletions

View file

@ -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, analogous to case folding, but instead of disregarding case variants,
it disregards wider classes of distinctions between similar it disregards wider classes of distinctions between similar
characters, such as matching different variants of double quote characters, such as matching different variants of double quote
characters, ignoring diacriticals, etc. characters, ignoring diacritics, etc.
@cindex eww @cindex eww
@item @item

View file

@ -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 GTK+ versions 3.4.2, 3.14.5 and 3.18.7. However, another 3.4.2 build
does not exhibit the bug. 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 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 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 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 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 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, See also http://debbugs.gnu.org/cgi/bugreport.cgi?bug=15700,
http://debbugs.gnu.org/cgi/bugreport.cgi?bug=22000, http://debbugs.gnu.org/cgi/bugreport.cgi?bug=22000,