Simply useful,as usual Rated 5 out of 5 stars

Who came to the conclusion that hiding the bookmarks button when the file menu is visible is a good idea !? Thanks to Alice0775 for fixing this.