[ivette] refactor selection

ivette/.eslintrc.js

ivette/CONTRIBUTING.md

ivette/src/frama-c/kernel/ASTinfo.tsx

ivette/src/frama-c/kernel/ASTview.tsx

ivette/src/frama-c/kernel/Globals.tsx

ivette/src/frama-c/kernel/History.tsx

ivette/src/frama-c/kernel/Locations.tsx

ivette/src/frama-c/kernel/Messages.tsx

ivette/src/frama-c/kernel/Properties.tsx

ivette/src/frama-c/kernel/SourceCode.tsx

ivette/src/frama-c/kernel/api/ast/index.ts

ivette/src/frama-c/kernel/api/services/index.ts

ivette/src/frama-c/menu.ts

ivette/src/frama-c/plugins/callgraph/api/index.ts

ivette/src/frama-c/plugins/callgraph/index.tsx

ivette/src/frama-c/plugins/dive/index.tsx

ivette/src/frama-c/plugins/eva/Coverage.tsx

ivette/src/frama-c/plugins/eva/DomainStates.tsx

ivette/src/frama-c/plugins/eva/api/general/index.ts

ivette/src/frama-c/plugins/eva/valuetable.tsx