[Ivette] Editors improvements
Readonly code, search and goto line in SourceCode, fix the line number gutter width.
Showing
- ivette/package.json 1 addition, 0 deletionsivette/package.json
- ivette/src/dome/renderer/text/editor.tsx 8 additions, 1 deletionivette/src/dome/renderer/text/editor.tsx
- ivette/src/dome/renderer/text/style.css 47 additions, 1 deletionivette/src/dome/renderer/text/style.css
- ivette/src/frama-c/kernel/ASTview.tsx 1 addition, 0 deletionsivette/src/frama-c/kernel/ASTview.tsx
- ivette/src/frama-c/kernel/SourceCode.tsx 2 additions, 0 deletionsivette/src/frama-c/kernel/SourceCode.tsx
- ivette/yarn.lock 14 additions, 0 deletionsivette/yarn.lock
Loading
Please register or sign in to comment