mirror/php-web-maker
1
0
Fork 0
mirror of https://github.com/chinchang/web-maker.git synced 2025-07-31 18:50:14 +02:00
Code Issues Releases Wiki Activity

CodeEditor: add cleargutter code

Browse Source
This commit is contained in:
Kushagra Gour
2018-12-10 19:13:37 +05:30
parent 098c47902c
commit eb139c8b40
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/components/CodeEditor.jsx
View File

@@ -153,7 +153,11 @@ export default class CodeEditor extends Component {
} }
} }
clearGutter(gutterName) {} clearGutter(gutterName) {
if (this.instance.clearGutter) {
this.instance.clearGutter(gutterName);
}
}
refresh() { refresh() {
this.instance.refresh ? this.instance.refresh() : this.instance.layout(); this.instance.refresh ? this.instance.refresh() : this.instance.layout();