Replace getDefaultCharacterWidth with getBaseCharacterWidth

That's the language we use throughout the implementation now and a more
accurate name for the concept.
This commit is contained in:
Nathan Sobo
2017-04-17 09:45:05 -06:00
committed by Antonio Scandurra
parent 0441625fba
commit e423b833db

View File

@@ -106,10 +106,19 @@ class TextEditorElement extends HTMLElement {
return this.emitter.on('did-change-scroll-top', callback)
}
// Deprecated: get the width of an `x` character displayed in this element.
//
// Returns a {Number} of pixels.
getDefaultCharacterWidth () {
return this.getComponent().getBaseCharacterWidth()
}
// Extended: get the width of an `x` character displayed in this element.
//
// Returns a {Number} of pixels.
getBaseCharacterWidth () {
return this.getComponent().getBaseCharacterWidth()
}
getMaxScrollTop () {
return this.getComponent().getMaxScrollTop()
}