Hi! Thank you for the bug report (and even fixing it!) I wasn’t aware __future__
isn’t backwards compatible. I’ll fix that!
You can open the command selection screen with ctrl/cmd+P. Then you can use the filter to find the command. Alternatively, you can assign this command to a hotkey in the settings. I’ll be sure to make this clearer!
EDIT: May I ask what version of the plugin you’re using? server.py
has been renamed a while ago. And what version of Python?