Ticket #3259: 3259.patch

_source/plugins/find/dialogs/find.js

@@ -516 +516 @@
                                 var findResult = this.find( pattern, matchCase, matchWord, matchCyclic );
                                 if ( findResult && matchReplaceAll )
                                         this.replace.apply( this, Array.prototype.slice.call( arguments ) );
+                                else
+                                        editor.fire( 'saveSnapshot' );
+
                                 return matchReplaceAll ?
                                         this.replaceCounter : replaceResult || findResult;
                         }

_source/plugins/find/dialogs/find.js

@@ -652 +652 @@
                                                                         onClick : function()
                                                                         {
                                                                                 var dialog = this.getDialog();
+                                                                                editor.fire( 'saveSnapshot' );
                                                                                 if ( !finder.replace( dialog,
                                                                                                         dialog.getValueOf( 'replace', 'txtFindReplace' ),
                                                                                                         dialog.getValueOf( 'replace', 'txtReplace' ),
@@ -688 +689 @@
                                                                                 var dialog = this.getDialog();
                                                                                 var replaceNums;
 
+                                                                                editor.fire( 'saveSnapshot' );
                                                                                 finder.replaceCounter = 0;
                                                                                 if ( ( replaceNums = finder.replace( dialog,
                                                                                         dialog.getValueOf( 'replace', 'txtFindReplace' ),

_source/plugins/find/dialogs/find.js

@@ -652 +652 @@
                                                                         onClick : function()
                                                                         {
                                                                                 var dialog = this.getDialog();
+                                                                                editor.fire( 'saveSnapshot' );
                                                                                 if ( !finder.replace( dialog,
                                                                                                         dialog.getValueOf( 'replace', 'txtFindReplace' ),
                                                                                                         dialog.getValueOf( 'replace', 'txtReplace' ),
@@ -688 +689 @@
                                                                                 var dialog = this.getDialog();
                                                                                 var replaceNums;
 
+                                                                                editor.fire( 'saveSnapshot' );
                                                                                 finder.replaceCounter = 0;
                                                                                 if ( ( replaceNums = finder.replace( dialog,
                                                                                         dialog.getValueOf( 'replace', 'txtFindReplace' ),