FStarLang / fstar-mode.el

Emacs support for F*
Apache License 2.0
67 stars 17 forks source link

Prevent teardown if in an indirect buffer #111

Open jaybosamiya opened 5 years ago

jaybosamiya commented 5 years ago

When we are in an indirect buffer, killing the indirect buffer causes the base buffer to also undergo a teardown. This commit makes sure to check whether we are actually in the right buffer, before initiating a teardown, thereby preventing spurious teardowns. Only killing the base buffer performs a teardown now with this PR.