Editor: add events

pull/1/head
Alex Beregszaszi 8 years ago
parent 8b4cd6b423
commit 0789f747d4
  1. 3
      src/app/editor.js

@ -1,6 +1,7 @@
/* global FileReader */ /* global FileReader */
'use strict' 'use strict'
var EventManager = require('../lib/eventManager')
var examples = require('./example-contracts') var examples = require('./example-contracts')
var ace = require('brace') var ace = require('brace')
@ -11,6 +12,8 @@ function Editor (doNotLoadStorage, storage) {
var editor = ace.edit('input') var editor = ace.edit('input')
document.getElementById('input').editor = editor // required to access the editor during tests document.getElementById('input').editor = editor // required to access the editor during tests
var event = new EventManager()
this.event = event
var sessions = {} var sessions = {}
var sourceAnnotations = [] var sourceAnnotations = []

Loading…
Cancel
Save