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 <[email protected]> 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 <[email protected]> > _______________________________________________ > graph-tool mailing list > [email protected] > https://lists.skewed.de/mailman/listinfo/graph-tool >
_______________________________________________ graph-tool mailing list [email protected] https://lists.skewed.de/mailman/listinfo/graph-tool
