Dijkstra tool pauseable