Merge pull request #148 from chriseth/onchange

Trigger onChange on session change.
pull/1/head
chriseth 9 years ago
commit 632d604a3e
  1. 1
      assets/js/app.js

@ -763,6 +763,7 @@
editor.getSession().on('change', onChange);
editor.on('changeSession', function(){
editor.getSession().on('change', onChange);
onChange();
})
document.querySelector('#optimize').addEventListener('change', function(){

Loading…
Cancel
Save