command 'pretext-tools.selectPretextCommand' not found
#72
-
|
Any hints on why I might be getting this error when I'm trying to wire up |
Beta Was this translation helpful? Give feedback.
Answered by
oscarlevin
Jan 22, 2024
Replies: 2 comments
-
|
Hmm at some point after some codespace rebuilds, it seems to work now. Something to keep an eye on. |
Beta Was this translation helpful? Give feedback.
0 replies
-
|
There was a bug in 0.15 that triggered when a user didn't have a standard source/main.ptx file. That should be fixed in 0.15.2, which was pushed last night. |
Beta Was this translation helpful? Give feedback.
0 replies
Answer selected by
oscarlevin
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
There was a bug in 0.15 that triggered when a user didn't have a standard source/main.ptx file. That should be fixed in 0.15.2, which was pushed last night.