From 822540a4014201ea4f6f55ce84a38ce8c6462498 Mon Sep 17 00:00:00 2001
From: rlazarini <remi.lazarini@cea.fr>
Date: Thu, 23 Jan 2025 09:58:28 +0100
Subject: [PATCH] [Ivette] mardown : reactivated no-unused-vars for 2 lines
---
ivette/src/dome/renderer/text/markdown.tsx | 12 ++++++------
.../plugins/callgraph/components/titlebar.tsx | 4 ++--
2 files changed, 8 insertions(+), 8 deletions(-)
diff --git a/ivette/src/dome/renderer/text/markdown.tsx b/ivette/src/dome/renderer/text/markdown.tsx
index 9079eb18f49..d40921b9227 100644
--- a/ivette/src/dome/renderer/text/markdown.tsx
+++ b/ivette/src/dome/renderer/text/markdown.tsx
@@ -26,13 +26,13 @@ import remarkCustomHeaderId from 'remark-custom-header-id';
import * as Themes from 'dome/themes';
import { classes } from 'dome/misc/utils';
-// eslint-disable-next-line @typescript-eslint/no-unused-vars
-import { Icon, jIconKind, IconKind } from 'dome/controls/icons';
+import { Icon, jIconKind, IconKind as _IconKind } from 'dome/controls/icons';
import {
CodeBlock, atomOneDark, atomOneLight
} from "react-code-blocks";
-// eslint-disable-next-line @typescript-eslint/no-unused-vars
-import { jLEDstatus, LED, LEDstatus } from 'dome/controls/displays';
+import {
+ jLEDstatus, LED, LEDstatus as _LEDstatus
+} from 'dome/controls/displays';
export interface Pattern {
pattern: RegExp,
@@ -45,7 +45,7 @@ export interface Pattern {
* `[icon-<id>(-<kind | color>)?]` :
*
* * Id : case-insensitive, consult [Icon Gallery](../../doc/guides/icons.md)
- * * kind : {@link IconKind}
+ * * kind : {@link _IconKind}
* * color : Hexa or html
*
* @example
@@ -69,7 +69,7 @@ export const iconTag: Pattern = {
/**
* ledTag allows you to replace the tag with an {@link LED}.
*
- * `[led-<status>]` : {@link LEDstatus}
+ * `[led-<status>]` : {@link _LEDstatus}
* */
export const ledTag: Pattern = {
pattern: /\[led-([^\]]+)\]/g,
diff --git a/ivette/src/frama-c/plugins/callgraph/components/titlebar.tsx b/ivette/src/frama-c/plugins/callgraph/components/titlebar.tsx
index 6e6c40f6281..edb03623519 100644
--- a/ivette/src/frama-c/plugins/callgraph/components/titlebar.tsx
+++ b/ivette/src/frama-c/plugins/callgraph/components/titlebar.tsx
@@ -89,7 +89,7 @@ export function CallgraphTitleBar(props: CallgraphTitleBarProps): JSX.Element {
/* --- Callgraph documentation --- */
/* -------------------------------------------------------------------------- */
-/** Pattern used for callraph documentation */
+/** Pattern used for callgraph documentation */
const TSButtonTag: Pattern = {
pattern: /\[button-displaymode\]/g,
replace: (key: number, match?: RegExpExecArray) => {
@@ -97,7 +97,7 @@ const TSButtonTag: Pattern = {
}
};
-/** Pattern used for callraph documentation */
+/** Pattern used for callgraph documentation */
const selectButtonTag: Pattern = {
pattern: /\[button-select\]/g,
replace: (key: number, match?: RegExpExecArray) => {
--
GitLab