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