That sounds like a good idea. We are going to give the command line it's own tab. This way output remains visible when navigating around the page. The popup p

That sounds like a good idea. We are going to give the command line it's own tab. This way output remains visible when navigating around the page. The popup panels are a nightmare to deal with ... particularly on some OSes.