Serial number overlap

[RQsky]

When the editor is in a modal, open the modal, close it, and reopen it, the serial number overlap will occur. What is the problem and is there any solution

[josdejong]

I think this is a duplicate of #234.

The editor is initially rendered with zero height, resulting in wrongly rendered line numbers. Solution is to call editor.refresh() after the editor is rendered with the correct height.