Merge branch '1232-ivette-components-are-not-updated-when-they-are-no-longer-visible' into 'master'
Resolve "[Ivette] Components are not updated when they are no longer visible" Closes #1232 See merge request frama-c/frama-c!4102
Showing
- ivette/src/frama-c/kernel/api/project/index.ts 0 additions, 71 deletionsivette/src/frama-c/kernel/api/project/index.ts
- ivette/src/frama-c/plugins/eva/CoverageMeter.tsx 8 additions, 3 deletionsivette/src/frama-c/plugins/eva/CoverageMeter.tsx
- ivette/src/frama-c/server.ts 2 additions, 6 deletionsivette/src/frama-c/server.ts
- ivette/src/frama-c/states.ts 60 additions, 119 deletionsivette/src/frama-c/states.ts
- src/plugins/server/kernel_project.ml 6 additions, 0 deletionssrc/plugins/server/kernel_project.ml
- src/plugins/server/kernel_project.mli 0 additions, 3 deletionssrc/plugins/server/kernel_project.mli
- src/plugins/server/main.ml 23 additions, 10 deletionssrc/plugins/server/main.ml
Loading
Please register or sign in to comment