From cfd7bf1af451b8f052bc3b9e9ee65d775f61cb35 Mon Sep 17 00:00:00 2001 From: Steffen Vogel Date: Fri, 8 Jun 2018 15:13:00 +0200 Subject: [PATCH] minor styling improvments of parameters-editor --- src/components/parameters-editor.js | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/components/parameters-editor.js b/src/components/parameters-editor.js index 38f81df..09beb96 100644 --- a/src/components/parameters-editor.js +++ b/src/components/parameters-editor.js @@ -58,6 +58,8 @@ class ParametersEditor extends React.Component { src={this.props.content} name={false} displayDataTypes={false} + displayObjectSize={false} + enableClipboard={false} onAdd={this.props.disabled ? undefined : this.onAdd} onEdit={this.props.disabled ? undefined : this.onEdit} onDelete={this.props.disabled ? undefined : this.onDelete}