Distinguish mobile/tablet/touch devices

Thomas Bruederli

2013-08-15 4910b0666edeeebb18ac9682cb898dba8f22962a

 program/js/app.js

@@ -1731,7 +1731,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);