[Ivette] Added title to sidebars.
Showing
- ivette/src/dome/renderer/frame/sidebars.tsx 28 additions, 1 deletionivette/src/dome/renderer/frame/sidebars.tsx
- ivette/src/dome/renderer/frame/style.css 12 additions, 6 deletionsivette/src/dome/renderer/frame/style.css
- ivette/src/frama-c/kernel/Globals.tsx 40 additions, 39 deletionsivette/src/frama-c/kernel/Globals.tsx
- ivette/src/frama-c/plugins/eva/components/Tools.tsx 3 additions, 2 deletionsivette/src/frama-c/plugins/eva/components/Tools.tsx
- ivette/src/frama-c/plugins/eva/style.css 0 additions, 6 deletionsivette/src/frama-c/plugins/eva/style.css
- ivette/src/ivette/laboratory.tsx 3 additions, 3 deletionsivette/src/ivette/laboratory.tsx
Loading
Please register or sign in to comment