Adjust number of tabs shown when resizing window.

Improve refresh tabs logic.
Fix input not being shown when loaded from a URL
This commit is contained in:
j433866 2019-05-29 13:25:12 +01:00
parent 722edcc274
commit 85809efcc0
4 changed files with 49 additions and 39 deletions

View file

@ -200,6 +200,14 @@ class App {
let inputNum = this.manager.input.getActiveTab();
if (inputNum === -1) inputNum = 1;
this.manager.input.updateInputValue(inputNum, input);
this.manager.input.inputWorker.postMessage({
action: "setInput",
data: {
inputNum: inputNum,
silent: true
}
});
}
@ -264,6 +272,8 @@ class App {
expandToMin: false,
onDrag: function() {
this.manager.recipe.adjustWidth();
this.manager.input.calcMaxTabs();
this.manager.output.calcMaxTabs();
}.bind(this)
});
@ -536,6 +546,8 @@ class App {
this.columnSplitter.setSizes([20, 30, 50]);
this.ioSplitter.setSizes([50, 50]);
this.manager.recipe.adjustWidth();
this.manager.input.calcMaxTabs();
this.manager.output.calcMaxTabs();
}