chore: add jumpTo to editor scroll service (#466)

This commit is contained in:
Mathias Mogensen 2023-09-15 00:02:05 +02:00 • committed by GitHub
commit f5b3ea87f5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -8,7 +8,7 @@ void main() {
}
class MyApp extends StatelessWidget {
const MyApp({Key? key}) : super(key: key);
const MyApp({super.key});
@override
Widget build(BuildContext context) {