On Sat, 2014-02-01 at 16:19 +0100, Martin Konopka wrote:
Dear developers, Is it possible to turn off the top panel which pops up in the full-screen mode? This panel hides top lines of the text in some of my documents. It is therefore very obtrusing for me and it slows down my reading. I often prepare my own documents (using pdflatex) such that the text uses almost the entire A4 paper size (still with some margins but much narrower than the official standards). [...]
Hi Martin, It is a bug, and has been already reported. See https://bugzilla.gnome.org/show_bug.cgi?id=691411 Regards, -- Germán Poo-Caamaño http://calcifer.org/
Attachment:
signature.asc
Description: This is a digitally signed message part