[Developer] Fixes #1599. Ensure text editor resizes when window does

This commit is contained in:
Marc Durdin 2019-02-19 17:42:35 +11:00
parent c08cb38970
commit d099bbf189

View file

@ -86,6 +86,10 @@ async function loadSettings() {
// Setup callbacks
//
window.addEventListener('resize', function() {
editor.layout();
});
const model = editor.getModel();
context.reloadSettings();