Ticket #5454: 5454.patch
File 5454.patch, 731 bytes (added by , 14 years ago) |
---|
-
_source/plugins/find/dialogs/find.js
822 822 }, 823 823 onHide : function() 824 824 { 825 var range; 825 826 if ( finder.matchRange && finder.matchRange.isMatched() ) 826 827 { 827 828 finder.matchRange.removeHighlight(); 828 829 editor.focus(); 829 editor.getSelection().selectRanges( 830 [ finder.matchRange.toDomRange() ] ); 830 831 range = finder.matchRange.toDomRange(); 832 if ( range ) 833 editor.getSelection().selectRanges( [ range ] ); 831 834 } 832 835 833 836 // Clear current session before dialog close