Method setFontSize

src/editor.js:477–479

* Set a new font size (in pixels) for the editor text. * @param {String | number} size A font size ( _e.g._ "12px")

(size)

     * @param {String | number} size A font size ( _e.g._ "12px")
     **/
    setFontSize(size) {
        this.setOption("fontSize", size);
    }

    $highlightBrackets() {
        if (this.$highlightPending) {