1
0
mirror of synced 2025-12-12 17:38:29 +08:00

Fixes problem where changes to options.ignorews did not cause update.

This commit is contained in:
Jamie Peabody
2013-11-02 15:05:55 +00:00
parent cc2ca149be
commit 900fea3edb

View File

@@ -495,7 +495,7 @@ jQuery.extend(Mgly.CodeMirrorDiffView.prototype, {
if (opts) {
jQuery.extend(this.settings, opts);
if (opts.autoresize) this.resize();
if (opts.autoupdate) this.update();
if (opts.autoupdate || opts.ignorews) this.update();
if (opts.hasOwnProperty('rhs_margin')) {
// dynamically swap the margin
if (opts.rhs_margin == 'left') {