[ivette] A modal search field
The search field can have different modes, changing its behavior. The main goal is to implement the "ACSL evaluation" of the old GUI using a mode.
Showing
- ivette/src/dome/renderer/controls/icons.tsx 5 additions, 2 deletionsivette/src/dome/renderer/controls/icons.tsx
- ivette/src/dome/renderer/dark.css 1 addition, 0 deletionsivette/src/dome/renderer/dark.css
- ivette/src/dome/renderer/frame/style.css 76 additions, 46 deletionsivette/src/dome/renderer/frame/style.css
- ivette/src/dome/renderer/frame/toolbars.tsx 285 additions, 118 deletionsivette/src/dome/renderer/frame/toolbars.tsx
- ivette/src/dome/renderer/light.css 1 addition, 0 deletionsivette/src/dome/renderer/light.css
- ivette/src/frama-c/kernel/Globals.tsx 5 additions, 5 deletionsivette/src/frama-c/kernel/Globals.tsx
- ivette/src/ivette/index.tsx 0 additions, 26 deletionsivette/src/ivette/index.tsx
- ivette/src/renderer/Application.tsx 2 additions, 11 deletionsivette/src/renderer/Application.tsx
- ivette/src/renderer/Extensions.tsx 0 additions, 78 deletionsivette/src/renderer/Extensions.tsx
Loading
Please register or sign in to comment