Thomas Bruederli
2014-01-20 6884f3f1f7542eb1dab8bb39cab33888d3fd84c5
skins/larry/ui.js
@@ -769,7 +769,7 @@
          mbox = '*';
        mods = mods[mbox] ? mods[mbox] : mods['*'];
        all = 'text';
        $('#s_scope_'+scope).prop('checked', true);
        $('#s_scope_'+scope).attr('checked',true);
      }
      else {
        all = '*';