diff --git a/ivette/src/renderer/command.tsx b/ivette/src/renderer/command.tsx index 381c9eb842ab7e9a4140aad00ba08aa42e89dedd..02771be72ecfc77a8b04db37cc9ba686d196bb01 100644 --- a/ivette/src/renderer/command.tsx +++ b/ivette/src/renderer/command.tsx @@ -42,7 +42,7 @@ Ivette.registerComponent({ }); Ivette.registerView({ - id: 'ivette.command', + id: 'ivette.console', label: 'Frama-C', title: 'Frama-C Console & Messages', layout: { AB: 'ivette.console', CD: 'ivette.messages' },