Kill Idris buffer and it's window if it was the only buffer in windows history.

idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

GNU General Public License v3.0

267 stars 70 forks source link

Kill Idris buffer and it's window if it was the only buffer in windows history. #556

Closed keram closed 1 year ago

keram commented 1 year ago

Previously if we killed an Idris buffer Emacs would preserve the window and copy another visible buffer into it which leads to not good user experience.

Before:

https://user-images.githubusercontent.com/578608/200187212-2e017540-dc0e-4c9f-9182-632980fb2cae.mp4

After:

https://user-images.githubusercontent.com/578608/200187226-d668e38c-0b70-4dbe-9841-bc8dc0e37302.mp4