diff --git a/ivette/src/renderer/ASTview.tsx b/ivette/src/renderer/ASTview.tsx index b789fd2cc6714cc8358315391024fac7a8320d02..d786d7cf0384dced4a6d83799be9a40f57214523 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 a9d19d85b85f1e993acd4d7c36177504c4aa7025..14a89985336f099d8cd405490d8a1f71d22c208e 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}>