[ivette] Satisfying the linter

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(() => {

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) ->