jaybosamiya
commented
1 year ago Potential temporary fallback: explicitly disable electric-indent-mode, since we don't yet have a full Verus indenter; at least should prevent the annoyances that arise when hitting return
Currently we simply directly use the Rust indenter; might be good to have something specific for Verus, so that
<tab>works better