[dome] introduce useFlipSettings helper
Showing
- ivette/src/dome/src/renderer/dome.tsx 18 additions, 9 deletionsivette/src/dome/src/renderer/dome.tsx
- ivette/src/dome/src/renderer/frame/sidebars.js 3 additions, 3 deletionsivette/src/dome/src/renderer/frame/sidebars.js
- ivette/src/dome/src/renderer/layout/boxes.tsx 2 additions, 3 deletionsivette/src/dome/src/renderer/layout/boxes.tsx
- ivette/src/frama-c/dive/Dive.tsx 1 addition, 1 deletionivette/src/frama-c/dive/Dive.tsx
- ivette/src/renderer/ASTview.tsx 1 addition, 1 deletionivette/src/renderer/ASTview.tsx
- ivette/src/renderer/Application.tsx 2 additions, 2 deletionsivette/src/renderer/Application.tsx
- ivette/src/renderer/Properties.tsx 1 addition, 1 deletionivette/src/renderer/Properties.tsx
Loading
Please register or sign in to comment