Hot reload / Hot restart / Full restart
https://flutter.dev/docs/development/tools/vs-code#hot-reload-vs-hot-restart https://flutter.dev/docs/development/tools/hot-reload
September 30, 2020
https://flutter.dev/docs/development/tools/vs-code#hot-reload-vs-hot-restart https://flutter.dev/docs/development/tools/hot-reload