Hi, I'm using graph-tool from docker on windows 10 education, and can't draw or save a graph. Can't figure out why. Posted this on stack overflow <https://stackoverflow.com/questions/56201514/after-generating-a-random-graph-with-graph-tool-it-doesnt-show-the-graph-and-ca> but didn't get any suggestions there. Hope someone here can help me solve this issue. szaboako -- Sent from: http://main-discussion-list-for-the-graph-tool-project.982480.n3.nabble.com/