src/Tools/VSCode/extension/src/extension.ts
changeset 65202 187277b77d50
parent 65201 2d01b30e6ac6
child 65233 e37209c0a42a
equal deleted inserted replaced
65201:2d01b30e6ac6 65202:187277b77d50
    87         const cursor = editor.selection.active
    87         const cursor = editor.selection.active
    88         if (uri.scheme === "file" && cursor)
    88         if (uri.scheme === "file" && cursor)
    89           caret_update = { uri: uri.toString(), line: cursor.line, character: cursor.character }
    89           caret_update = { uri: uri.toString(), line: cursor.line, character: cursor.character }
    90       }
    90       }
    91       if (last_caret_update !== caret_update) {
    91       if (last_caret_update !== caret_update) {
    92         client.sendNotification(protocol.caret_update_type, caret_update)
    92         if (caret_update.uri)
       
    93           client.sendNotification(protocol.caret_update_type, caret_update)
    93         last_caret_update = caret_update
    94         last_caret_update = caret_update
    94       }
    95       }
    95     }
    96     }
    96 
    97 
    97     client.onReady().then(() =>
    98     client.onReady().then(() =>