x.js

var rd = g_preferences.prafbe_right_dict();
var wd = g_preferences.prafbe_wrong_dict();
var td = {};
var ts = [];
for (var t in rd) {
  if (!(td[t])) {
    ts.push(t);
    td[t] = true;
  }
}
var xs = prafbe.list_most_interesting_tokens(rd, wd, ts, ts.length, true);
$(':input[name="custom_stylesheet"]').val($.toJSON(xs));