Denis Bitouzé - 2013-06-02

I would need at least some information when the menu bar disappears
(fullscreen mode , using virtual screens ,etc).
Though I don't use txs extensively on mac, i have not seen the
disappearance yet ...

Neither fullscreen mode nor (I guess) virtual screens.

But the bug arose after clicking on the button to open the PDF from embedded to windowed internal viewer.