didInsertElement() {
		let split = initializeSplitPanes();
		// Also resize the ace editor after initialising Split
		ace.edit("ace-editor").resize();

		let elem = document.getElementById("full-editor");

		bindToggleResultsEvent(split, elem);
		bindToggleReferencesEvent(split, elem);
	} // end didInsertElement
// After the element has been inserted into the DOM
After the element has been inserted into the DOM
After the element has been inserted into the DOM
didInsertElement() {
		let split = initializeSplitPanes();
		ace.edit("ace-editor").resize();
		let elem = document.getElementById("full-editor");
		bindToggleResultsEvent(split, elem);
		bindToggleReferencesEvent(split, elem);
	} 
didInsertElement ( ) { let split = initializeSplitPanes ( ) ; ace . edit ( "ace-editor" ) . resize ( ) ; let elem = document . getElementById ( "full-editor" ) ; bindToggleResultsEvent ( split , elem ) ; bindToggleReferencesEvent ( split , elem ) ; }
After the element has been inserted into the DOM
After the element has been inserted into the DOM
// Also resize the ace editor after initialising Split // end didInsertElement