mirror of
https://github.com/compiler-explorer/compiler-explorer.git
synced 2025-12-27 11:44:09 -05:00
This commit is contained in:
@@ -228,10 +228,13 @@ export class Hub {
|
||||
},
|
||||
this,
|
||||
);
|
||||
}
|
||||
|
||||
layout.init();
|
||||
public initLayout() {
|
||||
// To be called after setupSettings, as layout.init depends on them
|
||||
this.layout.init();
|
||||
this.undefer();
|
||||
layout.eventHub.emit('initialised');
|
||||
this.layout.eventHub.emit('initialised');
|
||||
}
|
||||
|
||||
public nextTreeId(): number {
|
||||
|
||||
@@ -626,6 +626,9 @@ function start() {
|
||||
hub = new Hub(layout, subLangId, defaultLangId);
|
||||
}
|
||||
|
||||
const [themer, settings] = setupSettings(hub);
|
||||
hub.initLayout();
|
||||
|
||||
setSentryLayout(layout);
|
||||
|
||||
if (hub.hasTree()) {
|
||||
@@ -641,8 +644,6 @@ function start() {
|
||||
|
||||
new clipboard('.btn.clippy');
|
||||
|
||||
const [themer, settings] = setupSettings(hub);
|
||||
|
||||
function handleCtrlS(event: JQuery.KeyDownEvent<Window, undefined, Window, Window>): void {
|
||||
event.preventDefault();
|
||||
if (settings.enableCtrlS === 'false') {
|
||||
|
||||
Reference in New Issue
Block a user