banacorn / agda-mode-vscode

agda-mode on VS Code
https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode
MIT License
167 stars 38 forks source link

Register VSCode tasks and `preLaunchTask` #141

Closed fredrik-bakke closed 1 year ago

fredrik-bakke commented 1 year ago

Hey!

First of all, thanks for creating this excellent extension!

I've been using it for a while and have had some minor issues I wanted to fix. Thus I've created my own fork and started working with your code. This made me notice that you hadn't set up a preLaunchTask. I don't know what your usual workflow is, but this way the project is automatically built before debugging. I hope this is helpful.

Summary

fredrik-bakke commented 1 year ago

Is there a reason this PR is being ignored? If you are not going to merge it, I would prefer if you closed it.

L-TChen commented 1 year ago

I’m maintaining this extension for now on behalf of @banacorn, but I am not sure what the PR is actually doing (i.e. preLaunchTask). I will have a proper look later.

fredrik-bakke commented 1 year ago

The main purpose of this change is that when you press f5, it will automatically build the project before entering debug mode. Hence making it faster to debug during development. It also integrates the different build and debug actions into the VSCode UI.

fredrik-bakke commented 1 year ago

You should be able to see all of the actions down here:

Screenshot 2023-08-30 at 16 02 17
fredrik-bakke commented 1 year ago

Also, thank you for maintaining this extension! I'm using it every day, and have been noticing the incremental improvements lately. :)

L-TChen commented 1 year ago

Thanks!