More stylistic fixes
This commit is contained in:
parent
569785c555
commit
9f969b402e
|
@ -214,7 +214,7 @@ export default createWidget('header', {
|
||||||
panels.push(this.attach('user-menu'));
|
panels.push(this.attach('user-menu'));
|
||||||
}
|
}
|
||||||
|
|
||||||
this.additionalPanels(attrs, state).map(function(panel) { panels.push(panel) });
|
this.additionalPanels(attrs, state).map(function(panel) { panels.push(panel); });
|
||||||
|
|
||||||
const contents = [ this.attach('home-logo', { minimized: !!attrs.topic }),
|
const contents = [ this.attach('home-logo', { minimized: !!attrs.topic }),
|
||||||
h('div.panel.clearfix', panels) ];
|
h('div.panel.clearfix', panels) ];
|
||||||
|
@ -227,8 +227,8 @@ export default createWidget('header', {
|
||||||
},
|
},
|
||||||
|
|
||||||
// override to allow plugins to append additional panels
|
// override to allow plugins to append additional panels
|
||||||
additionalPanels(attrs, state) {
|
additionalPanels() {
|
||||||
return []
|
return [];
|
||||||
},
|
},
|
||||||
|
|
||||||
updateHighlight() {
|
updateHighlight() {
|
||||||
|
|
Loading…
Reference in New Issue