()
| 179 | } |
| 180 | |
| 181 | function initSelect() { |
| 182 | var hash = window.location.hash; |
| 183 | var id = getActiveId(); |
| 184 | if (hash.indexOf("#") === -1) { |
| 185 | window.location.hash = (id) ? "#" + id : window.location.hash; |
| 186 | } |
| 187 | selectMenu(id); |
| 188 | } |
| 189 | |
| 190 | function mapHeight() { |
| 191 | var doc = $("#innerPage").contents(); |
no test coverage detected