enlarge 'mask' (window) for the json-script

[rlzijdeman]

Hi, currently the window reveiling the json script is rather small: both in width and height. Could you please try and enlarge it?

[rlzijdeman]

Hi @mmmenno, with your fix of the float, this now is also taken care of, at least in terms of height. I'd still like to see the json window a bit wider, but I guess that also depends on whether you're more gui or script oriented. Would it be possible to create a divisor a la overleaf? (See screenshot attached, basically you're able to shift the divisor from left to right).

Best,

Richard

[rlzijdeman]

ps: I was just thinking, if the bar that currently just exist above the left-side of the screen would be extended to the right (so full screen width) the ruminator buttons could be placed on top, preserving more 'width' for the gui / script windows. I also think the ruminator buttons could, in that concept, be a bit smaller, adjusted to the current size of the top bar.