From 3f126fe0ffaef7be9e526f973d08f892a8407b7f Mon Sep 17 00:00:00 2001
From: Jay Bryant <jbryant@pivotal.io>
Date: Thu, 18 Jul 2019 10:56:19 -0500
Subject: [PATCH] Fixed a refresh bug in the document toggle

While working on another feature, I noticed that the document toggle wasn't updating the ToC. I fixed that. (It matters only in the case where entire headings are toggled, but we do have one such case.)
---
 spring-batch-docs/asciidoc/js/DocumentToggle.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/spring-batch-docs/asciidoc/js/DocumentToggle.js b/spring-batch-docs/asciidoc/js/DocumentToggle.js
index 482db1c74..8f5d76981 100644
--- a/spring-batch-docs/asciidoc/js/DocumentToggle.js
+++ b/spring-batch-docs/asciidoc/js/DocumentToggle.js
@@ -37,6 +37,7 @@ $(document).ready(function(){
         $("*.javaContent > *").addClass("js-toc-ignore");
         $("*.xmlContent > *").removeClass("js-toc-ignore");
         window.dispatchEvent(new Event("tocRefresh"));
+        tocbot.refresh();
         Cookies.set('docToggle', 'xml', { expires: 3652 });
     };
 
@@ -46,6 +47,7 @@ $(document).ready(function(){
         $("*.xmlContent > *").addClass("js-toc-ignore");
         $("*.javaContent > *").removeClass("js-toc-ignore");
         window.dispatchEvent(new Event("tocRefresh"));
+        tocbot.refresh();
         Cookies.set('docToggle', 'java', { expires: 3652 });
     };
 
@@ -55,6 +57,7 @@ $(document).ready(function(){
         $("*.javaContent > *").removeClass("js-toc-ignore");
         $("*.xmlContent > *").removeClass("js-toc-ignore");
         window.dispatchEvent(new Event("tocRefresh"));
+        tocbot.refresh();
         Cookies.set('docToggle', 'both', { expires: 3652 });
     };