A buffer is closed by jEdit._closeBuffer and jEdit.closeAllBuffers.
The latter method doesn't emit BUFFER_CLOSING events before closing buffers.
This patch fixes this, if jEdit is not exiting.
I need this for Reopen plugin, to be able to restore each buffer to the proper EditPane.
Submitted | kerik-sf - 2015-02-27 08:25:46.384000 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | |
Resolution | None |
2015-02-27 08:29:33.522000 kerik-sf |
- **Group**: --> |
---|