diff --git a/ivette/src/frama-c/labviews.js b/ivette/src/frama-c/labviews.js index 97fdcc2413e9693bdeb6fed36d8555b3440a35e4..a9dbb7dd7491531dc8725ae7cfa0177acf3b1d58 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 8f934bb378adbbafe305c7c252b0e88df41a06eb..d9422328af612968f4dfeab75375f8f557409e53 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>