diff --git a/ivette/src/dome/renderer/text/markdown.tsx b/ivette/src/dome/renderer/text/markdown.tsx index 9079eb18f49f654ceed4b7547d94c4d440ef5f02..d40921b92270f0d3025dc29ef307e35f0a781b90 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 6e6c40f62818bee863eb3fc02837d8437fd82f6d..edb0362351906347f5c324edfcad523df4a75e33 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) => {