Add expand_all_highlights command

pdf_viewer/document_view.cpp

@@ -204,6 +204,15 @@ void DocumentView::expand_highlight_with_index(int index) {
 	add_highlight(hl.selection_begin, hl.selection_end, true, hl.type);
 }
 
+void DocumentView::expand_all_highlights() {
+	std::size_t num_highlights = current_document->get_highlights().size();
+	if (num_highlights > 0) {
+		for (; num_highlights--;) {
+			expand_highlight_with_index(0);
+		}
+	}
+}
+
 float DocumentView::get_offset_x() {
 	return offset_x;
 }

pdf_viewer/document_view.h

@@ -79,6 +79,7 @@ class DocumentView {
 	void delete_highlight(Highlight hl);
 	void delete_closest_bookmark_to_offset(float offset);
 	void expand_highlight_with_index(int index);
+	void expand_all_highlights();
 	float get_offset_x();
 	float get_offset_y();
 	AbsoluteDocumentPos get_offsets();

pdf_viewer/input.cpp

@@ -641,6 +641,17 @@ class ExpandHighlightCommand : public Command {
 	}
 };
 
+class ExpandAllHighlightsCommand : public Command {
+	void perform(MainWidget* widget) {
+		widget->main_document_view->expand_all_highlights();
+		widget->validate_render();
+	}
+
+	std::string get_name() {
+		return "expand_all_highlights";
+	}
+};
+
 class GotoPortalCommand : public Command {
 	void perform(MainWidget* widget) {
 		std::optional<Portal> link = widget->main_document_view->find_closest_portal();
@@ -2239,6 +2250,7 @@ CommandManager::CommandManager(ConfigManager* config_manager) {
 	new_commands["delete_bookmark"] = []() {return std::make_unique< DeleteBookmarkCommand>(); };
 	new_commands["delete_highlight"] = []() {return std::make_unique< DeleteHighlightCommand>(); };
 	new_commands["expand_highlight"] = []() {return std::make_unique< ExpandHighlightCommand>(); };
+	new_commands["expand_all_highlights"] = []() {return std::make_unique< ExpandAllHighlightsCommand>(); };
 	new_commands["goto_link"] = []() {return std::make_unique< GotoPortalCommand>(); };
 	new_commands["goto_portal"] = []() {return std::make_unique< GotoPortalCommand>(); };
 	new_commands["edit_link"] = []() {return std::make_unique< EditPortalCommand>(); };