Disable bookmark-related menu items when no document is open (#196)

Author: aryanchoudharypro

src/main_window.cpp

@@ -363,9 +363,14 @@ void main_window::update_ui() {
 		ID_NEXT_PAGE,
 		ID_PREVIOUS_BOOKMARK,
 		ID_NEXT_BOOKMARK,
+		ID_PREVIOUS_NOTE,
+		ID_NEXT_NOTE,
 		ID_TOGGLE_BOOKMARK,
 		ID_BOOKMARK_WITH_NOTE,
 		ID_JUMP_TO_BOOKMARK,
+		ID_JUMP_TO_BOOKMARKS_ONLY,
+		ID_JUMP_TO_NOTES,
+		ID_VIEW_NOTE_TEXT,
 		ID_PREVIOUS_LINK,
 		ID_NEXT_LINK,
 		ID_PREVIOUS_LIST,