summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-13 23:25:50 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-13 23:25:50 +0100
commit1ac2420d1fcf184c6162f6188c70ef63d4983352 (patch)
treed3d5f9dfb836eb37164cdf5f0c05139d01269940
parent4144fa60ae1769812eba9a5aad3eaff6b27dcedf (diff)
Record when the Hint button is shown
-rw-r--r--js/codeq/hint.js4
1 files changed, 4 insertions, 0 deletions
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);