also restore bookmarks when restoring an editor session at startup * gui-preferences-ed.h: add setting for storing bookmarks of editor files * file-editor-interface.h: additional argument in request_open_file * file-editor-tab.cc (get_all_bookmarks): new function collecting all bookmarks and returning it in a list of numbers in a string; * file-editor-tab.h: new function get_all_bookmarks * file-editor.cc (restore_session): get list of bookmarks from settings file and them as argument to request_open_file; (save_session): collect all bookmarks of open files and store them into the settings file; (request_open_file): string with bookmarks as new argument, if string id non-empty, add all contained bookmarks to the file * file-editor.h: add bookmarks to session_data, new string argument with bookmarks for request_open_file

--- a/libgui/src/m-editor/file-editor-interface.h	Tue Aug 09 10:46:06 2022 -0400
+++ b/libgui/src/m-editor/file-editor-interface.h	Wed Aug 10 22:24:58 2022 +0200
@@ -98,7 +98,8 @@
                                     bool breakpoint_marker = false,
                                     bool insert = true,
                                     const QString& cond = "",
-                                    int index = -1) = 0;
+                                    int index = -1,
+                                    const QString& bookmarks = QString ()) = 0;
   };
 }