jshint fixes

dev/git-series/gccdum
Matt Godbolt 7 years ago
parent 281e84da50
commit 52f65d8812

@ -344,7 +344,7 @@ define(function (require) {
};
this.fontScale.addState(state);
return state;
}
};
Compiler.prototype.saveState = function () {
this.container.setState(this.currentState());

@ -300,7 +300,7 @@ define(function (require) {
if (id === this.id) {
this.editor.setSelection({line: lineNum - 1, ch: 0}, {line: lineNum, ch: 0});
}
}
};
return {
Editor: Editor,

@ -108,7 +108,7 @@ define(function (require) {
elem = elem.parent;
}
return elem;
}
};
return Hub;
});

@ -87,13 +87,13 @@ define(function (require) {
} else {
elem.text(msg);
}
}
};
Output.prototype.updateCompilerName = function () {
var name = "#" + this.compilerId;
if (this.compiler) name += " with " + this.compiler.name;
this.container.setTitle(name);
}
};
return {
Output: Output,

@ -51,7 +51,7 @@ define(function (require) {
}
function loadState(state) {
if (!state || state['version'] === undefined) return false;
if (!state || state.version === undefined) return false;
switch (state.version) {
case 1:
state.filterAsm = {};

Loading…
Cancel
Save