-
Notifications
You must be signed in to change notification settings - Fork 261
JetBrains Rider FAQ
Sean McLaughlin edited this page Jul 3, 2019
·
9 revisions
Rider is a nice IDE for editing C# code. It has a highlighting editor, debugger, and run configurations analogous to IntelliJ.
- Why isn't Rider code folding my gigantic files like Resolver.cs?
Dafny has large files. E.g. Translator.cs is close to 20k lines. Rider only runs analyses and folds code up to some file size less than that. To allow Rider to work on such files, follow the advice on this issue. Namely, you need to increase the inspections threshold.