diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2016-07-13 12:23:22 +0200 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2016-07-13 12:23:54 +0200 |
| commit | 90f21696fe1f0a09db3891f8f7a0174fdc94dc7f (patch) | |
| tree | 4c090beeb82a8f01990a5f7d380418aac1b2363a /etc | |
| parent | 069fc05bd5fabdd5971e2c5230a8586248fb7f38 (diff) | |
; Spelling fixes
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/PROBLEMS | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/PROBLEMS b/etc/PROBLEMS index 2febd82bd7..2b3becf4d9 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, |