Hi Christoph, Christoph LANGE <ch.la...@jacobs-university.de> writes:
> I would have expected a link to the release notes from the following text > on http://orgmode.org/org-mode-news.html: > >> Latest news >> 2011-12-12 Release 7.8, 7.8.01 and 7.8.02. You're right, I added a link in the first item of this list, thanks for suggesting it. > One problematic side-effect of the fixed head bar, at least in Firefox and > Opera, is that is impairs page-wise scrolling. When I hit "page down", > some lines of text (as much as the height of the head bar) is skipped. If > you are lucky enough to _notice_ that, you have to manually work around by > scrolling the page a few lines up again. – But I have no idea for fixing, > other than un-fixing the head bar – which you may find undesirable for > other reasons. Getting rid of the fixed elements is not that difficult. If people overall think this would be best, I would have no objection. Can someone provide a patch to this effect so that we can test? Thanks, -- Bastien