| 114 | | // After a buffer period (to prevent spurious resizing), |
|---|
| 115 | | // re-allow entry into the resize() function |
|---|
| 116 | | var cleanup = new Ext.util.DelayedTask(function() {this.resizing = false}, this); |
|---|
| | 116 | // Do cleanup after a buffer period (to prevent spurious resizing) |
|---|
| | 117 | var cleanup = new Ext.util.DelayedTask(function() { |
|---|
| | 118 | // re-allow entry into the resize() function |
|---|
| | 119 | this.resizing = false; |
|---|
| | 120 | // Ensure that columns don't overlap |
|---|
| | 121 | this.center.setLeft(this.west.getWidth()); |
|---|
| | 122 | this.center.setRight(this.east.getWidth()); |
|---|
| | 123 | }, this); |
|---|