FYI, a compiled version of Graph-Tool v2.25 on Ubuntu 17.04 does not exhibit the crash when zooming in/out. On Thu, Oct 5, 2017 at 2:46 PM, Tiago de Paula Peixoto <tiago@skewed.de> wrote:
On 27.09.2017 17:09, Evangelos Petsalis wrote:
Tiago,
Here a small example that causes the graph to crash on v2.23:
from graph_tool.all import * import graph_tool as gt g = gt.collection.data["celegansneural"] interactive_window(g)
Once the window comes up, make sure you maximize it, and then start moving the roller up and down to zoom in/out rapidly.
The crash behavior is very erratic, in the sense that sometimes it crashes immediately, and some other times you have to keep zooming in/out for a few seconds. But it is important to maximize your window (on smaller windows it does not happen).
Sorry, it seems I forgot to answer you.
I can't reproduce this behavior... I get no crashes, regardless of how fast I zoom in and out.
Coincidentally, is there a way to install previous versions of graph-tool using apt-get? You just have to download the .deb file and install it using dpkg.
Best, Tiago
-- Tiago de Paula Peixoto <tiago@skewed.de> _______________________________________________ graph-tool mailing list graph-tool@skewed.de https://lists.skewed.de/mailman/listinfo/graph-tool