From e63c4b7744da73eab21bac826685d92bf7c2b6bc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Sun, 7 Apr 2024 18:06:45 +0200
Subject: [PATCH] [ivette] console view
---
ivette/src/renderer/command.tsx | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ivette/src/renderer/command.tsx b/ivette/src/renderer/command.tsx
index 381c9eb842a..02771be72ec 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' },
--
GitLab