()
| 710 | } |
| 711 | var isRunning = false; |
| 712 | var toggleRunning = function(){ |
| 713 | // ugg, this would be so much better w/ dojo.query() |
| 714 | if(isRunning){ |
| 715 | byId("play").style.display = byId("pausedMsg").style.display = ""; |
| 716 | byId("playingMsg").style.display = byId("pause").style.display = "none"; |
| 717 | isRunning = false; |
| 718 | }else{ |
| 719 | byId("play").style.display = byId("pausedMsg").style.display = "none"; |
| 720 | byId("playingMsg").style.display = byId("pause").style.display = ""; |
| 721 | isRunning = true; |
| 722 | } |
| 723 | } |
| 724 | doh.run = (function(oldRun){ |
| 725 | return function(){ |
| 726 | if(!doh._currentGroup){ |
no test coverage detected
searching dependent graphs…