|
From: <ker...@us...> - 2015-04-03 17:26:43
|
Revision: 23896
http://sourceforge.net/p/jedit/svn/23896
Author: kerik-sf
Date: 2015-04-03 17:26:36 +0000 (Fri, 03 Apr 2015)
Log Message:
-----------
emit BUFFER_CLOSING in jEdit.closeAll
Modified Paths:
--------------
jEdit/trunk/doc/CHANGES.txt
jEdit/trunk/org/gjt/sp/jedit/jEdit.java
Modified: jEdit/trunk/doc/CHANGES.txt
===================================================================
--- jEdit/trunk/doc/CHANGES.txt 2015-04-03 07:51:54 UTC (rev 23895)
+++ jEdit/trunk/doc/CHANGES.txt 2015-04-03 17:26:36 UTC (rev 23896)
@@ -53,6 +53,9 @@
This is useful to plugins that may need to adjust their appearance when the
screen mode is toggled. (Dale Anson)
+- close-all sends BufferClosing events on EditBus for each buffer closed.
+ This is useful to plugins that record closed files. (patch #550, Eric Le Lay)
+
}}}
{{{ Editing
Modified: jEdit/trunk/org/gjt/sp/jedit/jEdit.java
===================================================================
--- jEdit/trunk/org/gjt/sp/jedit/jEdit.java 2015-04-03 07:51:54 UTC (rev 23895)
+++ jEdit/trunk/org/gjt/sp/jedit/jEdit.java 2015-04-03 17:26:36 UTC (rev 23896)
@@ -2141,6 +2141,11 @@
buffer.getMode().getName());
}
+ if(!isExiting)
+ {
+ EditBus.send(new BufferUpdate(buffer,view,BufferUpdate.CLOSING));
+ }
+
buffer.close();
DisplayManager.bufferClosed(buffer);
if(!isExiting)
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|