flutter/GitJournal
1
0
Fork 0
mirror of https://github.com/GitJournal/GitJournal.git synced 2025-06-28 18:03:14 +08:00
Code Issues Packages Projects Releases Wiki Activity

Graph Layout: Minor refactor

Browse Source
This commit is contained in:
Vishesh Handa
2020-08-03 01:04:14 +02:00
parent b27f63f829
commit 12ec4c243f
1 changed files with 25 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

36
lib/main_graph.dart
View File

@ -36,17 +36,7 @@ class _MyExampleWidgetState extends State<MyExampleWidget> {
graph.edges = edges; graph.edges = edges;
graph.assignRandomPositions(400, 650); graph.assignRandomPositions(400, 650);
graph.startLayout();
const interval = Duration(milliseconds: 25);
bool shouldStop = false;
var timer = Timer.periodic(interval, (Timer t) {
if (shouldStop) {
return;
}
shouldStop = updateGraphPositions(graph);
});
Timer(const Duration(seconds: 5), () => timer.cancel());
} }
@override @override
@ -230,6 +220,30 @@ class Graph extends ChangeNotifier {
notifyListeners(); notifyListeners();
} }
Timer layoutTimer;
void startLayout() {
if (layoutTimer != null) {
return;
}
const interval = Duration(milliseconds: 25);
layoutTimer = Timer.periodic(interval, (Timer t) {
bool shouldStop = updateGraphPositions(this);
if (shouldStop) {
layoutTimer.cancel();
layoutTimer = null;
}
});
Timer(const Duration(seconds: 5), () {
if (layoutTimer != null) {
layoutTimer.cancel();
layoutTimer = null;
}
});
}
} }
void main() => runApp(MyApp()); void main() => runApp(MyApp());