When the output window is split, there is a thick white horizontal line dividing the two. It would be nice to make this resizable by allowing the user to drag it up or down. Ideally, the y-position of the divider would persist even after the browser has refreshed, so we may want to store this in localStorage.
When the output window is split, there is a thick white horizontal line dividing the two. It would be nice to make this resizable by allowing the user to drag it up or down. Ideally, the y-position of the divider would persist even after the browser has refreshed, so we may want to store this in localStorage.