martial opened this issue on Jun 03, 2016 ยท 8 posts
Jack238 posted Tue, 07 June 2016 at 6:47 PM
That is an interesting solution. I am glad you found it. May I ask what made you think of changing the style of workspace?
