glue-viz/glue — pull request #306 by ChrisBeaumont (2014-04-10 19:33:57+00:00)
Title: Embed profile tool in MDI area

Closes #303