Distinguish mobile/tablet/touch devices

Thomas Bruederli

2013-08-15 d1c40bbd877dbc99b695ed8f97d0cc2d8dd6adfc

 program/js/app.js

@@ -1733,7 +1733,7 @@
    if (!row.depth && row.has_children && (expando = document.getElementById('rcmexpando'+row.uid))) {
      row.expando = expando;
      expando.onmousedown = function(e) { return self.expand_message_row(e, uid); };
      if (bw.mobile) {
      if (bw.touch) {
        expando.addEventListener('touchend', function(e) {
          if (e.changedTouches.length == 1) {
            self.expand_message_row(e, uid);