From 1ac2420d1fcf184c6162f6188c70ef63d4983352 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Sun, 13 Mar 2016 23:25:50 +0100
Subject: Record when the Hint button is shown

---
 js/codeq/hint.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/js/codeq/hint.js b/js/codeq/hint.js
index 641c710..b8cf03b 100644
--- a/js/codeq/hint.js
+++ b/js/codeq/hint.js
@@ -440,6 +440,10 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */
 
                         });
                         jqHintBox.append(jqHintBtn);
+
+                        // experiment: Prolog hints
+                        activityHandler.queueTrace({'typ': 'experiment', 'data': 'hint button shown'});
+                        // end of experiment: Prolog hints
                     }
                 }
                 jqHints.prepend(jqHintBox);
-- 
cgit v1.2.1