145   view: function (vnode) {  argument
173       if (vnode.attrs.cl && gerritCl.num != vnode.attrs.cl) continue;
178     if (vnode.attrs.cl) {
180         `Showing only CL ${vnode.attrs.cl} - `,
370   oncreate: function(vnode) {  argument
383     term.open(vnode.dom);
385     if (vnode.attrs.focused)
388   onremove: function(vnode) {  argument
393   onupdate: function(vnode) {  argument
431   oncreate: function (vnode) {  argument
432     showFullLog(vnode.attrs.jobId);
443   oncreate: function (vnode) {  argument
475   createJobsTable: function (vnode, title, jobIds) {  argument
511       return m(`tr${vnode.attrs.jobId === jobId ? '.selected' : ''}`, cols)
532   view: function (vnode) {  argument
538           this.createJobsTable(vnode, 'Queued + Running jobs',
540           this.createJobsTable(vnode, 'Last 100 jobs', state.jobsRecent),