; 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,
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

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
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,