From 404b3bb58347091ddcec69f37601c24ed731247e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 18 Feb 2020 16:25:44 +0100
Subject: [PATCH] [ivette/labviews] override item group
---
ivette/src/frama-c/labviews.js | 3 ++-
ivette/src/renderer/Application.js | 4 ++--
2 files changed, 4 insertions(+), 3 deletions(-)
diff --git a/ivette/src/frama-c/labviews.js b/ivette/src/frama-c/labviews.js
index 97fdcc2413e..a9dbb7dd749 100644
--- a/ivette/src/frama-c/labviews.js
+++ b/ivette/src/frama-c/labviews.js
@@ -41,7 +41,7 @@ class Library {
}
}
- useItem(id,group,path,props) {
+ useItem(id,gcontext,path,props) {
if (!this.modified) {
this.modified = true ;
setImmediate(() => this.commit());
@@ -50,6 +50,7 @@ class Library {
let order = props.rank === undefined
? path
: path.slice(0,-1).concat([props.rank]);
+ let group = props.group || gcontext ;
let collection = this.virtual ;
collection[id] = Object.assign( { id, order, group }, props );
return () => delete collection[id];
diff --git a/ivette/src/renderer/Application.js b/ivette/src/renderer/Application.js
index 8f934bb378a..d9422328af6 100644
--- a/ivette/src/renderer/Application.js
+++ b/ivette/src/renderer/Application.js
@@ -53,8 +53,8 @@ export default (function() {
<View id='default' label='Dashboard' defaultView>
<GridItem id='frama-c.console'/>
</View>
-
- <Component id='frama-c.console' label='Console' >
+ <Group id='frama-c' label='Frama-C' title='Frama-C Kernel Components'/>
+ <Component id='frama-c.console' group='frama-c' label='Console' >
<Controller.Console/>
</Component>
</LabView>
--
GitLab