p5.js-web-editor/client/modules/IDE/components/Editor.js

64 lines
2 KiB
JavaScript
Raw Normal View History

2016-06-27 22:03:22 +02:00
import React, { PropTypes } from 'react';
2016-06-24 00:29:55 +02:00
import CodeMirror from 'codemirror';
import 'codemirror/mode/javascript/javascript';
import 'codemirror/addon/selection/active-line';
class Editor extends React.Component {
componentDidMount() {
this._cm = CodeMirror(this.refs.container, { // eslint-disable-line
theme: 'p5-widget',
value: this.props.file.content,
2016-06-24 00:29:55 +02:00
lineNumbers: true,
styleActiveLine: true,
mode: 'javascript'
});
this._cm.on('change', () => { // eslint-disable-line
// this.props.updateFileContent('sketch.js', this._cm.getValue());
this.props.updateFileContent(this.props.file.name, this._cm.getValue());
2016-06-24 00:29:55 +02:00
});
this._cm.getWrapperElement().style['font-size'] = `${this.props.fontSize}px`;
2016-07-11 05:11:06 +02:00
this._cm.setOption('indentWithTabs', this.props.isTabIndent);
2016-07-11 15:00:44 +02:00
this._cm.setOption('tabSize', this.props.indentationAmount);
2016-06-24 00:29:55 +02:00
}
componentDidUpdate(prevProps) {
if (this.props.file.content !== prevProps.file.content &&
this.props.file.content !== this._cm.getValue()) {
this._cm.setValue(this.props.file.content); // eslint-disable-line no-underscore-dangle
2016-06-24 00:29:55 +02:00
}
if (this.props.fontSize !== prevProps.fontSize) {
this._cm.getWrapperElement().style['font-size'] = `${this.props.fontSize}px`;
}
2016-07-06 17:27:39 +02:00
if (this.props.indentationAmount !== prevProps.indentationAmount) {
this._cm.setOption('tabSize', this.props.indentationAmount);
}
2016-07-11 05:11:06 +02:00
if (this.props.isTabIndent !== prevProps.isTabIndent) {
this._cm.setOption('indentWithTabs', this.props.isTabIndent);
}
2016-06-24 00:29:55 +02:00
}
componentWillUnmount() {
this._cm = null;
}
_cm: CodeMirror.Editor
render() {
return <div ref="container" className="editor-holder"></div>;
}
}
2016-06-27 22:03:22 +02:00
Editor.propTypes = {
2016-07-11 04:52:48 +02:00
indentationAmount: PropTypes.number.isRequired,
2016-07-12 05:40:30 +02:00
isTabIndent: PropTypes.bool.isRequired,
updateFileContent: PropTypes.func.isRequired,
fontSize: PropTypes.number.isRequired,
file: PropTypes.shape({
name: PropTypes.string.isRequired,
content: PropTypes.string.isRequired
2016-07-12 05:40:30 +02:00
})
2016-06-27 22:03:22 +02:00
};
2016-06-24 00:29:55 +02:00
export default Editor;