Hello! Firstly, I love this plugin; I've been using it for almost a year now. Thank you for developing it!
I am currently encountering an issue with this plugin for the latest version of Brackets. With all other extensions disabled, the console log is as follows:
TypeError: EditorManager.registerJumpToDefProvider is not a function at file:///C:/Users/Erick%20Shepherd/AppData/Roaming/Brackets/extensions/user/bazitur.python-tools/main.js:243:23
The line in question reads:
EditorManager.registerJumpToDefProvider(python_goto);
Commenting this line out seems to make the rest of the plugin work fine. I checked the Brackets.io repository and noticed that this function was replaced in April of 2019 with their Language Server Protocol Support for Brackets (df7aea4). It looks like they've moved it to JumpToDefManager in src/features/JumpToDefManager.js. The Brackets API documentation does not appear to have yet been updated to reflect this change, but there does appear to be a blog post related to the update.
Hello! Firstly, I love this plugin; I've been using it for almost a year now. Thank you for developing it!
I am currently encountering an issue with this plugin for the latest version of Brackets. With all other extensions disabled, the console log is as follows:
TypeError: EditorManager.registerJumpToDefProvider is not a function at file:///C:/Users/Erick%20Shepherd/AppData/Roaming/Brackets/extensions/user/bazitur.python-tools/main.js:243:23The line in question reads:
EditorManager.registerJumpToDefProvider(python_goto);Commenting this line out seems to make the rest of the plugin work fine. I checked the Brackets.io repository and noticed that this function was replaced in April of 2019 with their Language Server Protocol Support for Brackets (
df7aea4). It looks like they've moved it toJumpToDefManagerinsrc/features/JumpToDefManager.js. The Brackets API documentation does not appear to have yet been updated to reflect this change, but there does appear to be a blog post related to the update.