Merge branch 'feature/ivette/codemirror6' into 'master'
[Ivette] Updating CodeMirror to version 6 See merge request frama-c/frama-c!4036
No related branches found
No related tags found
Showing
- ivette/package.json 5 additions, 0 deletionsivette/package.json
- ivette/src/dome/renderer/dark.css 6 additions, 0 deletionsivette/src/dome/renderer/dark.css
- ivette/src/dome/renderer/data/arrays.ts 8 additions, 0 deletionsivette/src/dome/renderer/data/arrays.ts
- ivette/src/dome/renderer/light.css 6 additions, 0 deletionsivette/src/dome/renderer/light.css
- ivette/src/dome/renderer/text/editor.tsx 456 additions, 0 deletionsivette/src/dome/renderer/text/editor.tsx
- ivette/src/dome/renderer/text/style.css 84 additions, 0 deletionsivette/src/dome/renderer/text/style.css
- ivette/src/frama-c/kernel/ASTinfo.tsx 4 additions, 3 deletionsivette/src/frama-c/kernel/ASTinfo.tsx
- ivette/src/frama-c/kernel/ASTview.tsx 593 additions, 273 deletionsivette/src/frama-c/kernel/ASTview.tsx
- ivette/src/frama-c/kernel/SourceCode.tsx 231 additions, 158 deletionsivette/src/frama-c/kernel/SourceCode.tsx
- ivette/src/frama-c/plugins/eva/api/general/index.ts 62 additions, 13 deletionsivette/src/frama-c/plugins/eva/api/general/index.ts
- ivette/yarn.lock 81 additions, 0 deletionsivette/yarn.lock
- src/plugins/eva/api/general_requests.ml 197 additions, 106 deletionssrc/plugins/eva/api/general_requests.ml
Loading
Please register or sign in to comment