()
| 206 | } |
| 207 | |
| 208 | onRunEnd() |
| 209 | { |
| 210 | for (let o in this.objectsByID) |
| 211 | { |
| 212 | this.objectsByID[o].status = 0; |
| 213 | } |
| 214 | |
| 215 | |
| 216 | this.log("Running ended, Lasted: "+((performance.now() - this.t0)/1000) + " seconds.", "", 4); |
| 217 | this.footerUI.forceUpdate(); |
| 218 | this.runningUI.forceUpdate(); |
| 219 | this.sceneUI.forceUpdate(); |
| 220 | window.service.builder = null; |
| 221 | document.getElementById("activeTab_"+window.service.running_scene).className = "glyphicon glyphicon-picture"; |
| 222 | } |
| 223 | |
| 224 | copySelection() |
| 225 | { |