Merge branch 'feature/ivette/searchbar' into 'master'
Feature/ivette/searchbar Closes #904 See merge request frama-c/frama-c!2956
Showing
- ivette/src/dome/src/main/menubar.ts 16 additions, 1 deletionivette/src/dome/src/main/menubar.ts
- ivette/src/dome/src/renderer/controls/labels.tsx 14 additions, 6 deletionsivette/src/dome/src/renderer/controls/labels.tsx
- ivette/src/dome/src/renderer/dome.tsx 13 additions, 4 deletionsivette/src/dome/src/renderer/dome.tsx
- ivette/src/dome/src/renderer/frame/style.css 102 additions, 28 deletionsivette/src/dome/src/renderer/frame/style.css
- ivette/src/dome/src/renderer/frame/toolbars.tsx 159 additions, 11 deletionsivette/src/dome/src/renderer/frame/toolbars.tsx
- ivette/src/renderer/Application.tsx 16 additions, 1 deletionivette/src/renderer/Application.tsx
- ivette/src/renderer/Globals.tsx 30 additions, 1 deletionivette/src/renderer/Globals.tsx
Loading
Please register or sign in to comment