(sourcePosition)
| 313 | } |
| 314 | |
| 315 | focusSourcePosition(sourcePosition) { |
| 316 | if (!sourcePosition) return; |
| 317 | this._view.scriptPanel.focusedSourcePositions = [sourcePosition]; |
| 318 | this._view.scriptPanel.show(); |
| 319 | } |
| 320 | |
| 321 | handleToolTip(event) { |
| 322 | let content = event.content; |
no test coverage detected