Merge branch 'feature/ivette/modal-search-bar' into 'master'
[ivette] new modal search bar See merge request frama-c/frama-c!3673
No related branches found
No related tags found
Showing
- ivette/src/dome/renderer/controls/icons.tsx 5 additions, 2 deletionsivette/src/dome/renderer/controls/icons.tsx
- ivette/src/dome/renderer/dark.css 1 addition, 0 deletionsivette/src/dome/renderer/dark.css
- ivette/src/dome/renderer/frame/style.css 76 additions, 46 deletionsivette/src/dome/renderer/frame/style.css
- ivette/src/dome/renderer/frame/toolbars.tsx 284 additions, 118 deletionsivette/src/dome/renderer/frame/toolbars.tsx
- ivette/src/dome/renderer/light.css 1 addition, 0 deletionsivette/src/dome/renderer/light.css
- ivette/src/frama-c/kernel/Globals.tsx 5 additions, 5 deletionsivette/src/frama-c/kernel/Globals.tsx
- ivette/src/ivette/index.tsx 0 additions, 26 deletionsivette/src/ivette/index.tsx
- ivette/src/renderer/Application.tsx 2 additions, 11 deletionsivette/src/renderer/Application.tsx
- ivette/src/renderer/Extensions.tsx 0 additions, 78 deletionsivette/src/renderer/Extensions.tsx
Loading
Please register or sign in to comment