diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-13 23:25:50 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-13 23:25:50 +0100 |
| commit | 1ac2420d1fcf184c6162f6188c70ef63d4983352 (patch) | |
| tree | d3d5f9dfb836eb37164cdf5f0c05139d01269940 /js | |
| parent | 4144fa60ae1769812eba9a5aad3eaff6b27dcedf (diff) | |
Record when the Hint button is shown
Diffstat (limited to 'js')
| -rw-r--r-- | js/codeq/hint.js | 4 |
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); |