Ideally web developers should be able to choose whether the "restart" button from Cider triggers a hot restart or a page reload (this is because hot-restart is not supported for all internal web apps).
This changes the ext.dwds.restart service extension to trigger a hot-restart, and adds ext.dwds.reload which will trigger a page reload.
Follow up to https://github.com/dart-lang/webdev/pull/2437
Ideally web developers should be able to choose whether the "restart" button from Cider triggers a hot restart or a page reload (this is because hot-restart is not supported for all internal web apps).
This changes the
ext.dwds.restart
service extension to trigger a hot-restart, and addsext.dwds.reload
which will trigger a page reload.