Open magland opened 3 weeks ago
From Brian:
Also, I don't think this is a new behavior here, but just noting that some really odd rendering happens if you drag the separator of the output area to the top of the window:
Originally posted by @WardBrian in https://github.com/flatironinstitute/stan-playground/pull/47#pullrequestreview-2119032362
Just a note... we may want to eventually swap out this custom splitter for something maintained by a third party... as part of a larger overhaul.
From Brian:
Also, I don't think this is a new behavior here, but just noting that some really odd rendering happens if you drag the separator of the output area to the top of the window:
Originally posted by @WardBrian in https://github.com/flatironinstitute/stan-playground/pull/47#pullrequestreview-2119032362