()
| 358 | } |
| 359 | |
| 360 | function hideRightMenu(){ |
| 361 | currentSelectedNode = null; |
| 362 | if ($("#rMenu")) $("#rMenu").css({"visibility": "hidden"}); |
| 363 | $("body").unbind("mousedown", onBodyMouseDown); |
| 364 | } |
| 365 | |
| 366 | function onBodyMouseDown(event){ |
| 367 | if (!(event.target.id == "rMenu" || $(event.target).parents("#rMenu").length>0)) { |
no test coverage detected