Comment 2 for bug 827166

Steven (steven-engelen) wrote :

I can reproduce this bug. As a temporary workaround, I found out that scrolling to the top of your bookmarks and then moving the mouse pointer to the right displays the tools and help menu.

Nevertheless, this is a bug.