Incorrect Layout Resizing

[JohnDoneth]

Zooming into the page or resizing the browser window does not re-layout the content as desired; requiring a full page refresh to appear proper.

Examples

[inoas]

Yes, I noticed.
Related to this is that if you resize the window horizontally it does not rerender and content gets hidden.
On the other hand if you enlarge a window horizontally after load it behaves just fine.
I am not 100% certain but do think this was the case before my PR was merged.

[inoas]

Took a look but cannot figure out now why it did not work:
microsoft/monaco-editor#28

tried this:

const gleamEditor = monaco.editor.create(document.getElementById("gleam-editor"), {
  value: source,
  language: "gleam",
  readOnly: false,
});

const jsEditor = monaco.editor.create(document.getElementById("javascript-editor"), {
  value: "// Click [Build & Run] to see JavaScript output here…",
  language: "javascript",
  readOnly: true,
});

const erlangEditor = monaco.editor.create(document.getElementById("erlang-editor"), {
  value: "// Click [Build] to see Erlang output here…",
  language: "erlang",
  readOnly: true,
});

window.addEventListener(
  "resize",
  function (event) {
    window.requestAnimationFrame(function () {
      console.log("resize layouts");
      gleamEditor.layout();
      jsEditor.layout();
      erlangEditor.layout();
    });
  },
  true
);

... however reflow of layout does nothing still for horizontal shrinking, only for horizontal growing it works.

[Aloso]

@JohnDoneth I fixed this in PR #10.