Merge branch 'feature/ivette/more-types' into 'master'
More types in Ivette See merge request frama-c/frama-c!3613
No related branches found
No related tags found
Showing
- ivette/src/dome/main/dome.ts 71 additions, 44 deletionsivette/src/dome/main/dome.ts
- ivette/src/dome/main/menubar.ts 13 additions, 14 deletionsivette/src/dome/main/menubar.ts
- ivette/src/dome/renderer/data/settings.ts 16 additions, 18 deletionsivette/src/dome/renderer/data/settings.ts
- ivette/src/dome/renderer/dome.tsx 62 additions, 49 deletionsivette/src/dome/renderer/dome.tsx
- ivette/src/dome/renderer/frame/toolbars.tsx 61 additions, 49 deletionsivette/src/dome/renderer/frame/toolbars.tsx
- ivette/src/dome/renderer/layout/boxes.tsx 28 additions, 23 deletionsivette/src/dome/renderer/layout/boxes.tsx
- ivette/src/dome/renderer/layout/dispatch.tsx 6 additions, 8 deletionsivette/src/dome/renderer/layout/dispatch.tsx
- ivette/src/dome/renderer/layout/forms.tsx 40 additions, 37 deletionsivette/src/dome/renderer/layout/forms.tsx
- ivette/src/dome/renderer/layout/splitters.tsx 11 additions, 13 deletionsivette/src/dome/renderer/layout/splitters.tsx
- ivette/src/dome/renderer/table/arrays.ts 28 additions, 28 deletionsivette/src/dome/renderer/table/arrays.ts
- ivette/src/dome/renderer/table/views.tsx 77 additions, 63 deletionsivette/src/dome/renderer/table/views.tsx
- ivette/src/dome/renderer/text/buffers.ts 33 additions, 40 deletionsivette/src/dome/renderer/text/buffers.ts
- ivette/src/dome/renderer/text/editors.tsx 26 additions, 23 deletionsivette/src/dome/renderer/text/editors.tsx
- ivette/src/frama-c/kernel/ASTview.tsx 26 additions, 18 deletionsivette/src/frama-c/kernel/ASTview.tsx
- ivette/src/frama-c/kernel/Messages.tsx 51 additions, 37 deletionsivette/src/frama-c/kernel/Messages.tsx
- ivette/src/frama-c/kernel/Properties.tsx 31 additions, 39 deletionsivette/src/frama-c/kernel/Properties.tsx
- ivette/src/frama-c/states.ts 15 additions, 17 deletionsivette/src/frama-c/states.ts
- ivette/src/ivette/index.tsx 8 additions, 10 deletionsivette/src/ivette/index.tsx
- ivette/src/renderer/Extensions.tsx 7 additions, 9 deletionsivette/src/renderer/Extensions.tsx
- ivette/src/renderer/Preferences.tsx 6 additions, 5 deletionsivette/src/renderer/Preferences.tsx
Loading
Please register or sign in to comment