From 4d3103ff25dfe98a5da68d4768eb4a7382eea4ca Mon Sep 17 00:00:00 2001
From: cehmke <cehmke@users.noreply.github.com>
Date: Sat, 9 May 2015 23:40:03 +0200
Subject: [PATCH] Update selected value if children have been refreshed

If the children have been refreshed, it is necessary to check, whether
the value of the select box has been changed.
---
 core/modules/widgets/select.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/core/modules/widgets/select.js b/core/modules/widgets/select.js
index 79a169f7e..904988f97 100644
--- a/core/modules/widgets/select.js
+++ b/core/modules/widgets/select.js
@@ -127,10 +127,11 @@ SelectWidget.prototype.refresh = function(changedTiddlers) {
 		return true;
 	// If the target tiddler value has changed, just update setting and refresh the children
 	} else {
-		if(changedTiddlers[this.selectTitle]) {
+		var childrenRefreshed = this.refreshChildren(changedTiddlers);
+		if(changedTiddlers[this.selectTitle] || childrenRefreshed) {
 			this.setSelectValue();
 		} 
-		return this.refreshChildren(changedTiddlers);		
+		return childrenRefreshed;
 	}
 };