From 965029a88a2e9894d559bbba56d417e6b91b43b2 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime2.jacquemin@gmail.com>
Date: Fri, 25 Feb 2022 15:59:29 +0100
Subject: [PATCH] [ivette] Minor details
Changing displayed texts where all functions are filtered.
---
ivette/src/dome/renderer/frame/sidebars.tsx | 4 +++-
ivette/src/frama-c/kernel/Globals.tsx | 10 ++--------
2 files changed, 5 insertions(+), 9 deletions(-)
diff --git a/ivette/src/dome/renderer/frame/sidebars.tsx b/ivette/src/dome/renderer/frame/sidebars.tsx
index f199904ad3f..2fe1a5ff0fd 100644
--- a/ivette/src/dome/renderer/frame/sidebars.tsx
+++ b/ivette/src/dome/renderer/frame/sidebars.tsx
@@ -139,7 +139,9 @@ export function Section(props: SectionProps): JSX.Element | null {
const visible = unfold ?? state;
const maxHeight = visible ? 'max-content' : 0;
const { rightButtonProps: iconProps } = props;
- const rightButton = iconProps ? <IconButton {...iconProps}/> : undefined;
+ const className = 'dome-xSideBarSection-filterButton ' + iconProps?.className;
+ const rightButton =
+ iconProps ? <IconButton {...iconProps} className={className}/> : undefined;
return (
<div className={'dome-xSideBarSection ' + props.className}>
diff --git a/ivette/src/frama-c/kernel/Globals.tsx b/ivette/src/frama-c/kernel/Globals.tsx
index b23995b1065..de8ef1cabd5 100644
--- a/ivette/src/frama-c/kernel/Globals.tsx
+++ b/ivette/src/frama-c/kernel/Globals.tsx
@@ -186,7 +186,6 @@ export default function Globals(): JSX.Element {
icon: 'TUNINGS',
title: `Functions filtering options (${nFilter} / ${nTotal})`,
onClick: onContextMenu,
- className: 'dome-xSideBarSection-filterButton'
};
const filteredFunctions =
@@ -209,14 +208,9 @@ export default function Globals(): JSX.Element {
const allFiltered =
<div className='dome-xSideBarSection-content'>
<label className='dome-xSideBarSection-info'>
- {'All functions are filtered. Maybe you can change ' +
- 'the filtering options.'}
+ {'All functions are filtered. Try adjusting function filters.'}
</label>
- <Button
- {...filterButtonProps}
- className=''
- label='Functions filtering options'
- />
+ <Button {...filterButtonProps} label='Functions filters' />
</div>;
return (
--
GitLab