diff core.js @ 1378:589d9860a974

Bug #1569: Comment boxes cannot be resized, they support scrolling text. Styling of comment boxes. Styling of AB selectors.

--- a/core.js	Thu Feb 11 14:22:30 2016 +0000
+++ b/core.js	Thu Feb 11 14:37:26 2016 +0000
@@ -1097,7 +1097,7 @@
 	};
 	
 	this.stop = function() {
-		// Send stop and reset command to all playback buffers and set audioEngine state to stopped (1)
+		// Send stop and reset command to all playback buffers
 		if (this.status == 1) {
             var setTime = audioContext.currentTime+0.1;
 			for (var i=0; i<this.audioObjects.length; i++)
@@ -1105,7 +1105,6 @@
 				this.audioObjects[i].stop(setTime);
 			}
 			interfaceContext.playhead.stop();
-			this.status = 0;
 		}
 	};