From 07fee43550cf847c6b42da019ad664e140ff1ed6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr> Date: Wed, 17 Jun 2020 18:38:24 +0200 Subject: [PATCH] [ivette] tooltips --- ivette/src/renderer/ASTview.tsx | 2 +- ivette/src/renderer/Properties.tsx | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/ivette/src/renderer/ASTview.tsx b/ivette/src/renderer/ASTview.tsx index b789fd2cc67..d786d7cf038 100644 --- a/ivette/src/renderer/ASTview.tsx +++ b/ivette/src/renderer/ASTview.tsx @@ -179,7 +179,7 @@ export default () => ( <Component id="frama-c.astview" label="AST" - title="Normalized source code representation." + title="Normalized source code representation" > <ASTview /> </Component> diff --git a/ivette/src/renderer/Properties.tsx b/ivette/src/renderer/Properties.tsx index a9d19d85b85..14a89985336 100644 --- a/ivette/src/renderer/Properties.tsx +++ b/ivette/src/renderer/Properties.tsx @@ -492,7 +492,7 @@ const RenderTable = () => { icon="CLIPBOARD" selected={showFilter} onClick={flipFilter} - title="Toggle filters" + title="Toggle filters panel" /> </TitleBar> <Splitter dir="RIGHT" unfold={showFilter}> -- GitLab