From d6ea173ba1c21027b89cacecf9be85817bc69f18 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 17 Dec 2021 17:45:05 +0100
Subject: [PATCH] [ivette] Messages panel: fixes checkbox labels for message
kinds and emitters.
---
ivette/src/frama-c/kernel/Messages.tsx | 11 +++++++----
1 file changed, 7 insertions(+), 4 deletions(-)
diff --git a/ivette/src/frama-c/kernel/Messages.tsx b/ivette/src/frama-c/kernel/Messages.tsx
index 68b1a885b96..a02c18dbddb 100644
--- a/ivette/src/frama-c/kernel/Messages.tsx
+++ b/ivette/src/frama-c/kernel/Messages.tsx
@@ -197,23 +197,26 @@ function Section(p: Forms.SectionProps) {
);
}
+function Checkbox(p: Forms.CheckboxFieldProps) {
+ const lbl = p.label.charAt(0).toUpperCase() + p.label.slice(1).toLowerCase();
+ return <Forms.CheckboxField label={lbl} state={p.state} />;
+}
+
function MessageKindCheckbox(props: {
kind: logkind,
kindState: Forms.FieldState<KindFilter>,
}) {
const { kind, kindState } = props;
- const label = kind.charAt(0).toUpperCase + kind.slice(1).toLowerCase();
const state = Forms.useProperty(kindState, kind);
- return <Forms.CheckboxField label={label} state={state} />;
+ return <Checkbox label={kind} state={state} />;
}
function PluginCheckbox(props: {
plugin: string,
pluginState: Forms.FieldState<PluginFilter>,
}) {
- const label = props.plugin.toUpperCase();
const state = Forms.useProperty(props.pluginState, props.plugin);
- return <Forms.CheckboxField label={label} state={state} />;
+ return <Checkbox label={props.plugin} state={state} />;
}
function MessageFilter(props: { filter: State<Filter> }) {
--
GitLab