[Ivette] Adds Eva status icon in the titlebar of all Eva components.
EvaStatus defines a default iconSize for titlebar. Replace cursor by default cursor
Showing
- ivette/src/frama-c/plugins/dive/graph.tsx 4 additions, 1 deletionivette/src/frama-c/plugins/dive/graph.tsx
- ivette/src/frama-c/plugins/dive/tree.tsx 5 additions, 1 deletionivette/src/frama-c/plugins/dive/tree.tsx
- ivette/src/frama-c/plugins/eva/Coverage.tsx 4 additions, 1 deletionivette/src/frama-c/plugins/eva/Coverage.tsx
- ivette/src/frama-c/plugins/eva/DomainStates.tsx 4 additions, 1 deletionivette/src/frama-c/plugins/eva/DomainStates.tsx
- ivette/src/frama-c/plugins/eva/Summary.tsx 4 additions, 2 deletionsivette/src/frama-c/plugins/eva/Summary.tsx
- ivette/src/frama-c/plugins/eva/components/AnalysisStatus.tsx 3 additions, 3 deletionsivette/src/frama-c/plugins/eva/components/AnalysisStatus.tsx
- ivette/src/frama-c/plugins/eva/components/Tools.tsx 0 additions, 21 deletionsivette/src/frama-c/plugins/eva/components/Tools.tsx
- ivette/src/frama-c/plugins/eva/style.css 5 additions, 0 deletionsivette/src/frama-c/plugins/eva/style.css
- ivette/src/frama-c/plugins/eva/valuetable.tsx 3 additions, 5 deletionsivette/src/frama-c/plugins/eva/valuetable.tsx
Loading
Please register or sign in to comment