From f9c8767c3b80c193707cb819fe3e628d1fe55803 Mon Sep 17 00:00:00 2001
From: rooklift <16438795+rooklift@users.noreply.github.com>
Date: Sun, 25 Apr 2021 15:10:59 +0100
Subject: [PATCH] draw() upon toggle()

---
 src/95_hub.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/95_hub.js b/src/95_hub.js
index 17a4e173..29105144 100644
--- a/src/95_hub.js
+++ b/src/95_hub.js
@@ -2043,14 +2043,15 @@ let hub_props = {
 		config[option] = !config[option];
 		this.save_config();
 
-		this.info_handler.must_draw_infobox();
-
 		// Cases that have additional actions after...
 
 		if (option === "searchmoves_buttons") {
 			this.tree.node.searchmoves = [];		// This is reasonable regardless of which way the toggle went.
 			this.handle_search_params_change();
 		}
+
+		this.info_handler.must_draw_infobox();
+		this.draw();
 	},
 
 	toggle_flip: function() {						// config.flip should not be directly set, call this function instead.