NextERP/owl
2
0
Fork 0
mirror of https://github.com/odoo/owl.git synced 2025-10-06 19:59:41 +07:00
Code Issues Packages Projects Releases Wiki Activity

[IMP] playground: slightly decrease font size

Browse Source
This commit is contained in:
Géry Debongnie
2019-05-03 14:33:34 +02:00
parent 84b3cc42cf
commit ab2a98426e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
extras/playground/app.js
+1 -1
View File
@@ -81,7 +81,7 @@ class TabbedEditor extends owl.Component {
// remove this for xml/css (?) // remove this for xml/css (?)
this.editor.session.setOption("useWorker", false); this.editor.session.setOption("useWorker", false);
this.editor.setValue(this.props[this.state.currentTab], -1); 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.setTheme("ace/theme/monokai");
this.editor.session.setMode(MODES[this.state.currentTab]); this.editor.session.setMode(MODES[this.state.currentTab]);
const tabSize = this.state.currentTab === "xml" ? 2 : 4; const tabSize = this.state.currentTab === "xml" ? 2 : 4;