[ivette] Specifications folding
It uses the builtin feature of CodeMirror to do so. There is several axes of improvement, but for now it should be enough.
Showing
- ivette/src/dome/renderer/text/editors.tsx 4 additions, 0 deletionsivette/src/dome/renderer/text/editors.tsx
- ivette/src/frama-c/kernel/ASTinfo.tsx 1 addition, 1 deletionivette/src/frama-c/kernel/ASTinfo.tsx
- ivette/src/frama-c/kernel/ASTview.tsx 68 additions, 28 deletionsivette/src/frama-c/kernel/ASTview.tsx
- src/plugins/server/kernel_ast.ml 2 additions, 1 deletionsrc/plugins/server/kernel_ast.ml
Loading
Please register or sign in to comment