Searched refs:defaultTextHeight (Results 1 – 6 of 6) sorted by relevance
153 editor.defaultTextHeight() * code.rows);
348 defaultTextHeight: function() { }, method in CodeMirror
4012 defaultTextHeight: function() { return textHeight(this.display); }, method
4024 defaultTextHeight: function() { return textHeight(this.display); }, method