diff runfop.sh @ 3224:c7171e87154d

IdealGraphVisualizer: show a warning and ask the user whether to proceed before viewing a graph while the graph or its group is still being loaded. Opening such a graph can cause numerous problems and typically results in a NullPointerException or ConcurrentModificationException.
author Peter Hofer <peter.hofer@jku.at>
date Mon, 18 Jul 2011 13:30:37 +0200
parents a4b0c3df7f80
children bdeb4ba46a30
line wrap: on
line diff