fix menu draw problem after changes (bookmarks, properties...) in Linux