Avoid errors when message list doesn't have a header

Thomas Bruederli

2015-03-15 ee9742c873d2b1436debe2aa2194a4f6a9253dc7

 program/js/app.js

@@ -6728,6 +6728,9 @@

    this.env.listcols = listcols;

    if (!this.env.coltypes)
      this.env.coltypes = {};

    // replace old column headers
    if (thead) {
      if (repl) {