Merge branch 'fix/dome/array-api' into 'master'

Fix dome array api

See merge request frama-c/frama-c!2744

ivette/src/dome/src/renderer/table/arrays.ts

@@ -448,13 +448,18 @@ export class CompactModel<Key, Row> extends ArrayModel<Key, Row> {
       Requires a final trigger to update views. */
   updateData(data: Collection<Row>) {
     forEach(data, (row: Row) => this.setData(this.getkey(row), row));
-    this.reload();
   }
 
   /**
-     Replace all previous data with the new one.
+     Replace all previous data with the new ones.
      Finally triggers a reload.
    */
+  replaceAllDataWith(data: Collection<Row>) {
+    this.removeAllData();
+    this.updateData(data);
+    this.reload();
+  }
+
 
 }