Closed DimitrisDimitropoulos closed 1 week ago
This PR adds another workspace command of texlab like this #3218. I have tested the code on fedora 40 and windows.
This PR adds another workspace command of texlab like this #3218. I have tested the code on fedora 40 and windows.