appropriate heading level when loading from JSON

This commit is contained in:
Paul Ivanov 2014-07-30 17:23:58 -07:00
parent 66733621de
commit 468e568ea7

View File

@ -365,6 +365,7 @@ define([
this.level = data.level;
}
TextCell.prototype.fromJSON.apply(this, arguments);
this.code_mirror.setOption("theme", "heading-"+this.level);
};