| 131 | } |
| 132 | |
| 133 | function processDecoratedSymbol( |
| 134 | context: ProcessedTargetsContext, |
| 135 | mark: DecoratedSymbol |
| 136 | ) { |
| 137 | const token = context.hatTokenMap.getToken( |
| 138 | mark.symbolColor, |
| 139 | mark.character |
| 140 | ); |
| 141 | if (token == null) { |
| 142 | throw new Error( |
| 143 | `Couldn't find mark ${mark.symbolColor} '${mark.character}'` |
| 144 | ); |
| 145 | } |
| 146 | return [ |
| 147 | { |
| 148 | selection: new Selection(token.range.start, token.range.end), |
| 149 | editor: token.editor, |
| 150 | }, |
| 151 | ]; |
| 152 | } |
| 153 | |
| 154 | function processLineNumber(context: ProcessedTargetsContext, mark: LineNumber) { |
| 155 | const editor = context.currentEditor!; |