Thread:Mathmagician/@comment-3562424-20130324032918/@comment-4674838-20130417023148

New bug: GUI: it is now currently impossible to close the scope terminal. Clicking the button a second time does not close the terminal like it did previously.