On 02/13/2014 10:40 AM, John Colvin wrote: > > It would be nice if in the online sandbox the window width could be > changed. https://github.com/MartinNowak/drepl/issues/23