jEdit / Patches / #550 Emit BUFFER_CLOSING when invoking close-all

jEdit is a programmer's text editor written in Java.

#550 Emit BUFFER_CLOSING when invoking close-all

Milestone: None

Status: closed-accepted

Owner: nobody

Labels: None

Priority: 5

Updated: 2015-04-03

Created: 2015-02-27

Private: No

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.

1 Attachments

0001-emit-BUFFER_CLOSING-in-jEdit.closeAll.patch

Discussion

Eric Le Lay - 2015-02-27

Group: -->
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Eric Le Lay - 2015-04-03

status: open --> closed-accepted
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: