diff --git a/ivette/src/frama-c/kernel/Messages.tsx b/ivette/src/frama-c/kernel/Messages.tsx index c611c7efa4ff169b600adb845b4d7938a849b544..b5d1e9939605af120e81820946a288da6214971e 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 01c9120582b9b20142fd7b251d84f4d58a6eff99..8b8b0435238982f4201588f9a930c83850d3f9a2 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;