Ticket #6387: autogrow.patch
File autogrow.patch, 361 bytes (added by , 13 years ago) |
---|
Line | |
---|---|
1 | *** plugin.js.old 2010-09-21 17:52:08.000000000 +0300 |
2 | --- plugin.js 2010-10-01 15:17:10.000000000 +0300 |
3 | *************** |
4 | *** 9,14 **** |
5 | --- 9,16 ---- |
6 | (function(){ |
7 | var resizeEditor = function( editor ) |
8 | { |
9 | + if(!editor.window) |
10 | + return; |
11 | var doc = editor.document, |
12 | currentHeight = editor.window.getViewPaneSize().height, |
13 | newHeight; |