From cefc0629589cad98ad725471e36cf51ac032deff Mon Sep 17 00:00:00 2001
From: Anthony Geourjon <anthony.geourjon@tetras-libre.fr>
Date: Wed, 3 Jan 2024 11:24:54 +0100
Subject: [PATCH] Fix error on annotation manipulation (opening manifest with
 annotation or saving annotation)

---
 src/components/MiradorMenuButton.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/components/MiradorMenuButton.js b/src/components/MiradorMenuButton.js
index e1def5a7b..3ac8cbf8b 100644
--- a/src/components/MiradorMenuButton.js
+++ b/src/components/MiradorMenuButton.js
@@ -1,3 +1,4 @@
+import React from 'react';
 import PropTypes from 'prop-types';
 import { styled } from '@mui/material/styles';
 import Badge from '@mui/material/Badge';
-- 
GitLab