Timeline for How does one save and close a file in Proof General without all of Evil shutting down?
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 11, 2019 at 19:45 | comment | added | Charlie Parker | cross posted: quora.com/unanswered/… | |
| Jan 11, 2019 at 5:00 | history | edited | Charlie Parker | CC BY-SA 4.0 |
added 171 characters in body
|
| Jan 11, 2019 at 0:11 | comment | added | Charlie Parker | @Stefan I might just be confused on what the typical workflow for emacs usually looks like. I come from Vim+Tmux (not that I necessarily want that work flow) but I think it would be valuable to use ProofGeneral for me when I use Coq. Is the usual workflow to just have lots of buffers open and never close them? I am concerned/confused because ProofGeneral opens additional frames with the proof context etc and when I am done with my current proof script or move to a new one I want to see the frames related to that script not the old one. So I am confused how people work with ProofGeneral. | |
| Jan 11, 2019 at 0:04 | history | edited | Charlie Parker | CC BY-SA 4.0 |
added 441 characters in body
|
| Jan 10, 2019 at 13:44 | comment | added | Stefan | I rarely/never "close" buffers: the fact that old buffers "stay within Emacs" just doesn't matter much in practice. | |
| Jan 10, 2019 at 8:42 | answer | added | wasamasa | timeline score: 1 | |
| Jan 10, 2019 at 4:04 | history | edited | Charlie Parker | CC BY-SA 4.0 |
added 369 characters in body
|
| Jan 10, 2019 at 3:31 | comment | added | Charlie Parker |
@Stefan it seems that M-x kill-buffer closed the buffer. But then it sends me to the Proof General welcome screen (and didn't save the file I guess). It's close to what I want but not quite. I would have expected that Evil's vim commands would just work as normal as they do in the terminal. Why don't they work here?
|
|
| Jan 10, 2019 at 3:30 | comment | added | Charlie Parker |
@Stefan What I was is to be able to close the buffer and save the file and go back to emacs. If I were in my normal vim+terminal+tmux env I would do :x it would close the file, save it and send me back to my terminal. What puzzles me is why Evil's :x closes ALL of emacs.
|
|
| Jan 10, 2019 at 3:23 | comment | added | Stefan |
Please clarify what you mean by "close". But I think you just want kill-buffer normally bound to C-x k.
|
|
| Jan 10, 2019 at 3:20 | review | First posts | |||
| Jan 10, 2019 at 3:23 | |||||
| Jan 10, 2019 at 3:18 | history | asked | Charlie Parker | CC BY-SA 4.0 |