From 5b4ca67d6e9be8ffa999ded824cfeb8a6ad4c618 Mon Sep 17 00:00:00 2001
From: Jeremy Ruston <jeremy@osmosoft.com>
Date: Tue, 15 Oct 2013 21:06:52 +0100
Subject: [PATCH] Make the reveal widget hide the div element if it is not open

---
 core/modules/new_widgets/reveal.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/core/modules/new_widgets/reveal.js b/core/modules/new_widgets/reveal.js
index f57ccf7c2..9bab01071 100755
--- a/core/modules/new_widgets/reveal.js
+++ b/core/modules/new_widgets/reveal.js
@@ -36,6 +36,9 @@ RevealWidget.prototype.render = function(parent,nextSibling) {
 	if(!domNode.isTiddlyWikiFakeDom && this.type === "popup" && this.isOpen) {
 		this.positionPopup(domNode);
 	}
+	if(!this.isOpen) {
+		domNode.setAttribute("hidden","true")
+	}
 	this.domNodes.push(domNode);
 };