Merge remote-tracking branch 'origin/master' into feature/ivette/multiple-selections

# Conflicts:
#	Makefile
#	ivette/api/kernel/ast/index.ts
#	ivette/src/dome/src/renderer/table/arrays.ts
#	ivette/src/frama-c/states.ts
#	ivette/src/renderer/ASTview.tsx
#	src/plugins/server/kernel_ast.ml

ivette/src/frama-c/states.ts

@@ -519,7 +519,6 @@ type MultipleSelectActions =
   MultipleSelect | NthSelect
   | 'MULTIPLE_PREV' | 'MULTIPLE_NEXT' | 'MULTIPLE_CLEAR';
 
-
 export interface Selection {
   /** Current selection. May be one in [[history]] or [[multiple]]. */
   current?: Location;
@@ -685,7 +684,7 @@ const GlobalSelection = new GlobalStates.State<Selection>({
     prevSelections: [],
     nextSelections: [],
   },
-  multiple: { index: 0, allSelections: [] }
+  multiple: { index: 0, allSelections: [] },
 });
 
 /**

ivette/src/renderer/MultipleSelection.tsx

@@ -30,7 +30,8 @@ const SelectionTable = () => {
   // Updates [[model]] with the current multiple selection.
   React.useEffect(() => {
     if (numblerOfSelections > 0) {
-      const data: SelectionId[] = multiple.allSelections.map((d, i) => ({ ...d, id: i }));
+      const data: SelectionId[] =
+        multiple.allSelections.map((d, i) => ({ ...d, id: i }));
       model.replaceAllDataWith(data);
     } else
       model.clear();