[ivette] better rendering for section infos
Showing
- ivette/src/dome/renderer/frame/sidebars.tsx 4 additions, 1 deletionivette/src/dome/renderer/frame/sidebars.tsx
- ivette/src/dome/renderer/frame/style.css 8 additions, 8 deletionsivette/src/dome/renderer/frame/style.css
- ivette/src/frama-c/kernel/Properties.tsx 6 additions, 5 deletionsivette/src/frama-c/kernel/Properties.tsx
Loading
Please register or sign in to comment