Some time ago (probably on Mon, 11 Oct 2004 12:46:50 -0700 (PDT)) Rich Shepard <rshepard at appl-ecosys.com> had occasion to say the following: > > The first screenshot is LyX-1.3.4, the one with the huge top and > bottom > borders. The second one is firefox-0.9.3 for comparison. What happens if you kill the WM? Do the borders go away?