From 6883e4d4bc7fdb176ac3b4f079c4a6bd6bd1c954 Mon Sep 17 00:00:00 2001
From: parag00991 <parag00991@gmail.com>
Date: Mon, 11 Apr 2016 01:20:18 +0530
Subject: [PATCH] ISets mergeable and payoff and movenames displaying after new
 game

---
 html/js/guiutils/Tools.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/html/js/guiutils/Tools.js b/html/js/guiutils/Tools.js
index 760e868..a0b2c8e 100644
--- a/html/js/guiutils/Tools.js
+++ b/html/js/guiutils/Tools.js
@@ -30,6 +30,8 @@ GTE.UI = (function (parentModule) {
         // Create a node and draw it
         GTE.tree.draw();
         this.switchMode(GTE.MODES.ADD);
+
+        this.isetToolsRan = false;
     };
 
     /**