From 7f343786369e6e014e0abbac73ffebcf0f790a38 Mon Sep 17 00:00:00 2001
From: rhenck <richard.henck@iqb.hu-berlin.de>
Date: Fri, 5 Nov 2021 15:10:56 +0100
Subject: [PATCH] Update editor to 1.7.2

---
 docs/release-notes-editor.txt | 9 +++++++++
 package.json                  | 2 +-
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/docs/release-notes-editor.txt b/docs/release-notes-editor.txt
index 60c0416e6..766d1a844 100644
--- a/docs/release-notes-editor.txt
+++ b/docs/release-notes-editor.txt
@@ -1,5 +1,14 @@
 Editor
 ======
+1.7.2
+- Add showRestRuns property to player-elements
+- Fix (several problems with) likert element
+  - Headings with Images should also work better now
+- Fix radio-button-group label margin
+  (Was accidentally removed in the last release)
+- Fix editing properties of multiple selected elements
+- Fix disappearing style properties when deleting the value
+
 1.7.1
 - Add radio-button-group property for strike-through of unselected options
 - Allow setting 'first' and 'last' as button actions
diff --git a/package.json b/package.json
index d08e74917..6392e6a1e 100644
--- a/package.json
+++ b/package.json
@@ -2,7 +2,7 @@
   "name": "verona-modules-aspect",
   "config": {
     "player_version": "1.2.3",
-    "editor_version": "1.7.1"
+    "editor_version": "1.7.2"
   },
   "scripts": {
     "ng": "ng",
-- 
GitLab