Skip to content

Conversation

@toinehartman
Copy link
Member

@toinehartman toinehartman commented Aug 4, 2025

Screenshot 2025-08-05 093917

Closes #106

@toinehartman toinehartman self-assigned this Aug 4, 2025
@toinehartman toinehartman added the enhancement New feature or request label Aug 6, 2025
@DavyLandman
Copy link
Member

DavyLandman commented Aug 11, 2025

As this goes a bit against the VS Code UX guidelines to not "Show actions for every file without context" I would like to:

  • can we get it after Copy Relative Path?
  • make sure we use similar capitalization as VS Code does
  • ask if @jurgenvinju agrees with adding this global addition
  • review the name of the menu item, I think it should at least mention rascal in there, to let people know where this came from. For example: Copy Path as Rascal Location?

@toinehartman toinehartman force-pushed the feature/106-copy-source-location branch from 1463b77 to 40a1bcb Compare August 14, 2025 07:23
@toinehartman toinehartman force-pushed the feature/106-copy-source-location branch from 40a1bcb to fa2345a Compare August 14, 2025 07:25
@toinehartman
Copy link
Member Author

Updated, as per @DavyLandman his suggestions:
afbeelding

@DavyLandman
Copy link
Member

@jurgenvinju what do you think of this feature?

@toinehartman
Copy link
Member Author

toinehartman commented Aug 14, 2025 via email

@DavyLandman
Copy link
Member

Ah right, it's a pitty JSON doesn't allow for comments.

@jurgenvinju
Copy link
Member

  1. I really missed this feature from Eclipse. So great! Especially when analyzing Java or C++ or Ada code or whatever, this is handy.
  2. Add command to create rascal location from selection #283 is very related and also very useful in a similar way, perhaps now that we have this code fresh we can merge @linuswagner's code as well?

@DavyLandman
Copy link
Member

Yes, but #283 is more complex, due to the different offsets/columns between VS Code and rascal. Let's pick that up at a later point.

@sonarqubecloud
Copy link

@DavyLandman DavyLandman enabled auto-merge (squash) August 18, 2025 10:14
@DavyLandman DavyLandman merged commit f180836 into main Aug 18, 2025
14 checks passed
@toinehartman toinehartman deleted the feature/106-copy-source-location branch August 18, 2025 10:57
rodinaarssen pushed a commit that referenced this pull request Aug 20, 2025
… view (#692)

* Add context menu to copy loc from explorer.

* Better name and location in context menu.

* Hide copy-as-loc in command palette.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add "Copy source location" context menu item to VSCode explorer

3 participants