diff --git a/extras/playground/app.js b/extras/playground/app.js index 181d3bd5..bf72dff3 100644 --- a/extras/playground/app.js +++ b/extras/playground/app.js @@ -81,7 +81,7 @@ class TabbedEditor extends owl.Component { // remove this for xml/css (?) this.editor.session.setOption("useWorker", false); this.editor.setValue(this.props[this.state.currentTab], -1); - this.editor.setFontSize("13px"); + this.editor.setFontSize("12px"); this.editor.setTheme("ace/theme/monokai"); this.editor.session.setMode(MODES[this.state.currentTab]); const tabSize = this.state.currentTab === "xml" ? 2 : 4;