After running this test, the spinner in the gutter remains visible (and in the wrong location, but that's for another issue). https://github.com/Dart-Code/Dart-Code/assets/1078012/cb88e476-a788-472b-9dfd-645ecfdc8b14