From ac7a4212a38d358c0d9a95f4a68780687a9fe5e0 Mon Sep 17 00:00:00 2001
From: Relintai <relintai@protonmail.com>
Date: Fri, 5 Aug 2022 00:55:13 +0200
Subject: [PATCH] Emit the zoom_changed signal in EditorZoomWidget when setting
 the zoom value through the zoom property.

---
 game/addons/world_generator/widgets/EditorZoomWidget.gd | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/game/addons/world_generator/widgets/EditorZoomWidget.gd b/game/addons/world_generator/widgets/EditorZoomWidget.gd
index c0579b6c..5e075ed5 100644
--- a/game/addons/world_generator/widgets/EditorZoomWidget.gd
+++ b/game/addons/world_generator/widgets/EditorZoomWidget.gd
@@ -76,6 +76,8 @@ func set_zoom(p_zoom : float) -> void:
 	if (p_zoom > 0 && p_zoom != zoom):
 		zoom = p_zoom;
 		_update_zoom_label();
+		emit_signal("zoom_changed", zoom);
+		
 
 func set_zoom_by_increments(p_increment_count : int, p_integer_only : bool) -> void:
 	# Remove editor scale from the index computation.