(div, element)
| 1028 | } |
| 1029 | |
| 1030 | const customTooltip = function (div, element) { |
| 1031 | let tip |
| 1032 | const container = document.createElement('div') |
| 1033 | if (element.docFormatter) { |
| 1034 | tip = element.docFormatter.formatPopover() |
| 1035 | container.innerHTML = tip |
| 1036 | } else { |
| 1037 | tip = Blockly.Tooltip.getTooltipOfObject(element) |
| 1038 | container.textContent = tip |
| 1039 | } |
| 1040 | return div.appendChild(container) |
| 1041 | } |
| 1042 | |
| 1043 | let initializedTooltips = false |
| 1044 | module.exports.initializeBlocklyTooltips = function () { |
nothing calls this directly
no outgoing calls
no test coverage detected