diff options
| author | Paul Eggert | 2016-07-13 12:23:22 +0200 |
|---|---|---|
| committer | Paul Eggert | 2016-07-13 12:23:54 +0200 |
| commit | 90f21696fe1f0a09db3891f8f7a0174fdc94dc7f (patch) | |
| tree | 4c090beeb82a8f01990a5f7d380418aac1b2363a | |
| parent | 069fc05bd5fabdd5971e2c5230a8586248fb7f38 (diff) | |
| download | emacs-90f21696fe1f0a09db3891f8f7a0174fdc94dc7f.tar.gz emacs-90f21696fe1f0a09db3891f8f7a0174fdc94dc7f.zip | |
; Spelling fixes
| -rw-r--r-- | doc/misc/efaq.texi | 2 | ||||
| -rw-r--r-- | 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 | |||
| 1050 | analogous to case folding, but instead of disregarding case variants, | 1050 | analogous to case folding, but instead of disregarding case variants, |
| 1051 | it disregards wider classes of distinctions between similar | 1051 | it disregards wider classes of distinctions between similar |
| 1052 | characters, such as matching different variants of double quote | 1052 | characters, such as matching different variants of double quote |
| 1053 | characters, ignoring diacriticals, etc. | 1053 | characters, ignoring diacritics, etc. |
| 1054 | 1054 | ||
| 1055 | @cindex eww | 1055 | @cindex eww |
| 1056 | @item | 1056 | @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 | |||
| 989 | GTK+ versions 3.4.2, 3.14.5 and 3.18.7. However, another 3.4.2 build | 989 | GTK+ versions 3.4.2, 3.14.5 and 3.18.7. However, another 3.4.2 build |
| 990 | does not exhibit the bug. | 990 | does not exhibit the bug. |
| 991 | 991 | ||
| 992 | Some window managers (xfce) apparently work around this failure by | 992 | Some window managers (Xfce) apparently work around this failure by |
| 993 | cropping the menu bar. With other windows managers, it's possible to | 993 | cropping the menu bar. With other windows managers, it's possible to |
| 994 | shrink the frame manually after the problem occurs, e.g. by dragging the | 994 | shrink the frame manually after the problem occurs, e.g. by dragging the |
| 995 | frame's border with the mouse. However, some window managers have been | 995 | frame's border with the mouse. However, some window managers have been |
| 996 | reported to refuse such attempts and snap back to the width needed to | 996 | reported to refuse such attempts and snap back to the width needed to |
| 997 | show the full menu bar (wmii) or at least cause the screen to flicker | 997 | show the full menu bar (wmii) or at least cause the screen to flicker |
| 998 | during such resizing attempts (i3, icewm). | 998 | during such resizing attempts (i3, IceWM). |
| 999 | 999 | ||
| 1000 | See also http://debbugs.gnu.org/cgi/bugreport.cgi?bug=15700, | 1000 | See also http://debbugs.gnu.org/cgi/bugreport.cgi?bug=15700, |
| 1001 | http://debbugs.gnu.org/cgi/bugreport.cgi?bug=22000, | 1001 | http://debbugs.gnu.org/cgi/bugreport.cgi?bug=22000, |