diff --git a/ivette/src/renderer/Controller.tsx b/ivette/src/renderer/Controller.tsx index 5d4d89e65643e655ec67432eab8ee15327480520..5dde04e965faa98d5ec971575096eb8c58603725 100644 --- a/ivette/src/renderer/Controller.tsx +++ b/ivette/src/renderer/Controller.tsx @@ -40,8 +40,6 @@ import { Text } from 'dome/text/editors'; import * as Ivette from 'ivette'; import * as Server from 'frama-c/server'; -import 'codemirror/theme/ambiance.css'; - // -------------------------------------------------------------------------- // --- Configure Server // --------------------------------------------------------------------------