()
| 143 | } |
| 144 | |
| 145 | get toolTipDict() { |
| 146 | return { |
| 147 | title: this.toString(), |
| 148 | __this__: this, |
| 149 | id: this.id, |
| 150 | url: this.url, |
| 151 | source: this.source, |
| 152 | sourcePositions: this.sourcePositions |
| 153 | } |
| 154 | } |
| 155 | |
| 156 | static getShortestUniqueName(url, script) { |
| 157 | const parts = url.split('/'); |