[antigravity] disableTypeErrors effect does not persist after window reload
Open
language-server
- Dominant language
- Rust
- Stars
- 7k
- Forks
- 516
- PR merge metrics
- No merged PRs in 30d
Description
### Describe the Bug
- set disableTypeErrors true
- see Pyrefly (errors off) in corner
- reload window
- see Pyrefly (Basic) in corner
- see disableTypeErrors still set to true
- see type errors (note only errors in basic mode like imports)
expected behavior after window reload:
- see Pyrefly (errors off) in corner
- see disableTypeErrors still set to true
- see no type errors
from:
https://discord.com/channels/1319086885024567347/1504011130895335535/1504899606935503019
### Sandbox Link
_No response_
### (Only applicable for extension issues) IDE Information
_No response_
Contributor guide
Assessment
This issue has not been assessed yet.