Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.
this.clippingChanged.add(this.clippingFrameChanged.bind(this));
var dom = this.domNode;
dom.style.cursor = "text";
dom.addEventListener('click', this.click.bind(this), false);
dom.addEventListener('mousedown', this.mouseDown.bind(this), false);
dom.addEventListener('mousemove', this.mouseMove.bind(this), false);
window.addEventListener('mouseup', this.mouseUp.bind(this), false);
editor.willChangeBuffer.add(this.editorWillChangeBuffer.bind(this));
// Changeevents.
this.selectionChanged = new Event();
this.beganChangeGroup = new Event();
this.endedChangeGroup = new Event();
this.willReplaceRange = new Event();
this.replacedCharacters = new Event();
this.textInput = new TextInput(container, this);
};
exports.View = function(node){
this.node = node;
// Setup the event.
this.dimensionEvent = new Event();
// Render the view.
this.render(true);
};
right: 30
};
this.clippingChanged.add(this.clippingFrameChanged.bind(this));
var dom = this.domNode;
dom.style.cursor = "text";
dom.addEventListener('click', this.click.bind(this), false);
dom.addEventListener('mousedown', this.mouseDown.bind(this), false);
dom.addEventListener('mousemove', this.mouseMove.bind(this), false);
window.addEventListener('mouseup', this.mouseUp.bind(this), false);
editor.willChangeBuffer.add(this.editorWillChangeBuffer.bind(this));
// Changeevents.
this.selectionChanged = new Event();
this.beganChangeGroup = new Event();
this.endedChangeGroup = new Event();
this.willReplaceRange = new Event();
this.replacedCharacters = new Event();
this.textInput = new TextInput(container, this);
};
// TODO: This is for debug purpose only and should go away again.
// bespin.editor = this;
this.elementAppended = new Event();
this.element = this.container = document.createElement("div");
var container = this.container;
container.style.overflow = 'hidden';
container.style.position = 'relative';
this.scrollOffsetChanged = new Event();
this.willChangeBuffer = new Event();
this.selectionChanged = new Event();
this.textChanged = new Event();
var gutterView = this.gutterView = new GutterView(container, this);
var textView = this.textView = new TextView(container, this);
var verticalScroller = this.verticalScroller = new ScrollerView(this, Scroller.LAYOUT_VERTICAL);
var horizontalScroller = this.horizontalScroller = new ScrollerView(this, Scroller.LAYOUT_HORIZONTAL);
this.editorUndoController = new EditorUndoController(this);
this.searchController = new EditorSearchController(this);
this._textViewSize = this._oldSize = {
width: 0,
height: 0
};
this._themeData = editorThemeData;
exports.EditorView = function(initialContent) {
// TODO: This is for debug purpose only and should go away again.
// bespin.editor = this;
this.elementAppended = new Event();
this.element = this.container = document.createElement("div");
var container = this.container;
container.style.overflow = 'hidden';
container.style.position = 'relative';
this.scrollOffsetChanged = new Event();
this.willChangeBuffer = new Event();
this.selectionChanged = new Event();
this.textChanged = new Event();
var gutterView = this.gutterView = new GutterView(container, this);
var textView = this.textView = new TextView(container, this);
var verticalScroller = this.verticalScroller = new ScrollerView(this, Scroller.LAYOUT_VERTICAL);
var horizontalScroller = this.horizontalScroller = new ScrollerView(this, Scroller.LAYOUT_HORIZONTAL);
this.editorUndoController = new EditorUndoController(this);
this.searchController = new EditorSearchController(this);
this._textViewSize = this._oldSize = {
width: 0,
height: 0
};
this._themeData = editorThemeData;
this.command = options.command;
this.commandExt = options.commandExt;
// Will be used only in the cli case
this.args = options.args;
this.typed = options.typed;
// Have we been initialized?
this._begunOutput = false;
this.start = new Date();
this.end = null;
this.completed = false;
this.error = false;
this.changed = new Event();
};
exports.EditorView = function(initialContent) {
this.elementAppended = new Event();
this.element = this.container = document.createElement("div");
var container = this.container;
container.style.overflow = 'visible';
container.style.position = 'relative';
this.scrollOffsetChanged = new Event();
this.willChangeBuffer = new Event();
this.selectionChanged = new Event();
this.textChanged = new Event();
var gutterView = this.gutterView = new GutterView(container, this);
var textView = this.textView = new TextView(container, this);
var verticalScroller = new ScrollerView(this, scroller.LAYOUT_VERTICAL);
var horizontalScroller = new ScrollerView(this,
scroller.LAYOUT_HORIZONTAL);
this.verticalScroller = verticalScroller;
this.horizontalScroller = horizontalScroller;
this.completionController = new CompletionController(this);
this.editorUndoController = new EditorUndoController(this);
this.searchController = new EditorSearchController(this);
this._textViewSize = this._oldSize = { width: 0, height: 0 };
exports.EditorView = function(initialContent) {
this.elementAppended = new Event();
this.element = this.container = document.createElement("div");
var container = this.container;
container.style.overflow = 'visible';
container.style.position = 'relative';
this.scrollOffsetChanged = new Event();
this.willChangeBuffer = new Event();
this.selectionChanged = new Event();
this.textChanged = new Event();
var gutterView = this.gutterView = new GutterView(container, this);
var textView = this.textView = new TextView(container, this);
var verticalScroller = new ScrollerView(this, scroller.LAYOUT_VERTICAL);
var horizontalScroller = new ScrollerView(this,
scroller.LAYOUT_HORIZONTAL);
this.verticalScroller = verticalScroller;
this.horizontalScroller = horizontalScroller;
this.completionController = new CompletionController(this);
this.editorUndoController = new EditorUndoController(this);
this.searchController = new EditorSearchController(this);
this._textViewSize = this._oldSize = { width: 0, height: 0 };
this._themeData = editorThemeData;
exports.EditorView = function(initialContent) {
this.elementAppended = new Event();
this.element = this.container = document.createElement("div");
var container = this.container;
container.style.overflow = 'visible';
container.style.position = 'relative';
this.scrollOffsetChanged = new Event();
this.willChangeBuffer = new Event();
this.selectionChanged = new Event();
this.textChanged = new Event();
var gutterView = this.gutterView = new GutterView(container, this);
var textView = this.textView = new TextView(container, this);
var verticalScroller = new ScrollerView(this, scroller.LAYOUT_VERTICAL);
var horizontalScroller = new ScrollerView(this,
scroller.LAYOUT_HORIZONTAL);
this.verticalScroller = verticalScroller;
this.horizontalScroller = horizontalScroller;
this.completionController = new CompletionController(this);
this.editorUndoController = new EditorUndoController(this);
this.searchController = new EditorSearchController(this);
this._textViewSize = this._oldSize = { width: 0, height: 0 };
this._themeData = editorThemeData;
exports.EditorView = function(initialContent) {
this.elementAppended = new Event();
this.element = this.container = document.createElement("div");
var container = this.container;
container.style.overflow = 'visible';
container.style.position = 'relative';
this.scrollOffsetChanged = new Event();
this.willChangeBuffer = new Event();
this.selectionChanged = new Event();
this.textChanged = new Event();
var gutterView = this.gutterView = new GutterView(container, this);
var textView = this.textView = new TextView(container, this);
var verticalScroller = new ScrollerView(this, scroller.LAYOUT_VERTICAL);
var horizontalScroller = new ScrollerView(this,
scroller.LAYOUT_HORIZONTAL);
this.verticalScroller = verticalScroller;
this.horizontalScroller = horizontalScroller;
this.completionController = new CompletionController(this);
this.editorUndoController = new EditorUndoController(this);
this.searchController = new EditorSearchController(this);