Matt Perzel

I think the import for typehole should also be removed if you call remove all typeholes from all files. Repro: 1. Run command "Remove all typeholes from all files" 2....

 After an initial run failed the rest of session showed a typehole warning underline. The warning was persistent through opening and closing the file. The warning did go away...