()
| 949 | // clear the canvas of all lines and unbind any hover events |
| 950 | // previously set for oldgroup |
| 951 | function clear() { |
| 952 | document.getElementById('canvas').innerHTML = ''; |
| 953 | |
| 954 | if (prevselector) { |
| 955 | prevselector |
| 956 | .add(helpselector(prevselector)) |
| 957 | .unbind('mouseenter mouseleave'); |
| 958 | prevselector = null; |
| 959 | } |
| 960 | } |
| 961 | |
| 962 | // very simple adjustment of the command div font size so it doesn't overflow |
| 963 | function adjustcommandfontsize() { |
no test coverage detected