From a8befdcb19cb87ffee7e0487bd14ef8461ca6a21 Mon Sep 17 00:00:00 2001
From: Rainer Simon <rainer.simon@ait.ac.at>
Date: Thu, 4 Jun 2020 10:13:17 +0200
Subject: [PATCH] Minor tweak: allowing configurable widgets

---
 src/editor/Editor.jsx | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/editor/Editor.jsx b/src/editor/Editor.jsx
index 15f135d..62c9c16 100644
--- a/src/editor/Editor.jsx
+++ b/src/editor/Editor.jsx
@@ -138,6 +138,7 @@ const Editor = props => {
       <div className="inner">
         {React.Children.map(props.children, child =>
           React.cloneElement(child, { 
+            ...child.props,
             annotation : currentAnnotation,
             readOnly : props.readOnly,
             onAppendBody : onAppendBody,