code: function(lineNumber)
          {
              var list = this.getParam('highlight', []);
  
              if (typeof(list) != 'object' && list.push == null)
                  list = [ list ];
  
              return indexOf(list, lineNumber.toString()) != -1;
          }
docs: Determines if specified line number is in the highlighted list.