From 2a8c2bf3e851cbe7cb05465f982c99315665cbf7 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime2.jacquemin@gmail.com>
Date: Wed, 20 Apr 2022 15:21:47 +0200
Subject: [PATCH] [ivette] Satisfying the linter
---
ivette/src/dome/renderer/frame/toolbars.tsx | 4 ++--
src/plugins/server/kernel_ast.ml | 4 +++-
2 files changed, 5 insertions(+), 3 deletions(-)
diff --git a/ivette/src/dome/renderer/frame/toolbars.tsx b/ivette/src/dome/renderer/frame/toolbars.tsx
index edf993e9012..9d7e9f196a9 100644
--- a/ivette/src/dome/renderer/frame/toolbars.tsx
+++ b/ivette/src/dome/renderer/frame/toolbars.tsx
@@ -532,7 +532,7 @@ export function ModalActionField() {
// Auxiliary function that build a Hint from an ActionMode.
const modeToHint = (mode: ActionMode) => {
- const { label, title, icon } = mode;
+ const { label, title = '', icon } = mode;
const id = 'ActionMode-' + title + '-' + icon;
const value = () => { onModeChange(mode); };
return { id, icon, label, title, value, rank: -1000 };
@@ -562,7 +562,7 @@ export function ModalActionField() {
const hs = await modesMode.hints(input);
const notCurrent = (h: Hint) => !(h.label.includes(current.label));
return hs.filter(notCurrent);
- }, [current.title, modesMode]);
+ }, [current.label, modesMode]);
// Register the new search engine.
React.useEffect(() => {
diff --git a/src/plugins/server/kernel_ast.ml b/src/plugins/server/kernel_ast.ml
index 881991dd878..61134be680a 100644
--- a/src/plugins/server/kernel_ast.ml
+++ b/src/plugins/server/kernel_ast.ml
@@ -44,7 +44,9 @@ let get_term kf term =
try Some (!Db.Properties.Interp.term ~env kf term)
with Logic_interp.Error _ | Parsing.Parse_error -> None
-let key_of_localizable = let open Printer_tag in function
+let key_of_localizable =
+ let open Printer_tag in
+ function
| PStmt _ | PStmtStart _ | PTermLval _ | PVDecl _ | PGlobal _ | PIP _ -> None
| PLval (_, Kglobal, _) | PExp (_, Kglobal, _) -> None
| PLval (kf, Kstmt stmt, lval) ->
--
GitLab