From 6ec4058e7d609623e2820f8709c35d4f18942361 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 3 Nov 2021 11:22:04 +0100
Subject: [PATCH] [ivette] Messages panel: changes an icon and cursor.
---
ivette/src/frama-c/kernel/Messages.tsx | 2 +-
ivette/src/frama-c/kernel/style.css | 1 +
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/kernel/Messages.tsx b/ivette/src/frama-c/kernel/Messages.tsx
index c611c7efa4f..b5d1e993960 100644
--- a/ivette/src/frama-c/kernel/Messages.tsx
+++ b/ivette/src/frama-c/kernel/Messages.tsx
@@ -462,7 +462,7 @@ export default function RenderMessages() {
const MessagePanel = (
<Vbox style={{ height: '100%' }}>
<IconButton
- icon="ANGLE.DOWN"
+ icon="CROSS"
title="Close"
onClick={() => setMessage('')}
style={{ margin: '0 auto' }}
diff --git a/ivette/src/frama-c/kernel/style.css b/ivette/src/frama-c/kernel/style.css
index 01c9120582b..8b8b0435238 100644
--- a/ivette/src/frama-c/kernel/style.css
+++ b/ivette/src/frama-c/kernel/style.css
@@ -91,6 +91,7 @@
.message-cell {
user-select: text;
+ cursor: default;
text-overflow: ellipsis;
white-space: nowrap;
overflow: hidden;
--
GitLab