Skip to content

Conversation

lionel-
Copy link
Contributor

@lionel- lionel- commented Jul 7, 2025

Branched from #8412

For #4886
Extension side of posit-dev/ark#866

Can be merged separately.

Copy link

github-actions bot commented Jul 7, 2025

E2E Tests 🚀
This PR will run tests tagged with: @:critical

readme  valid tags

@juliasilge
Copy link
Contributor

The special header comments will still show up in the outline by default, right? This only changes the command palette workspace symbols?

@lionel-
Copy link
Contributor Author

lionel- commented Jul 7, 2025

Right, workspace symbols are different from outline symbols, and this only affects the quick pick for workspace symbols (# prefix in command palette).

@lionel- lionel- requested a review from juliasilge July 23, 2025 20:29
Copy link
Contributor

@juliasilge juliasilge left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is working well, once I got ark 0.1.198 installed!

Screenshot 2025-07-23 at 7 13 12 PM

I still see the comment section in the outline but it doesn't interfere with Cmd+Click or show up in workspace symbols.

"default": false,
"description": "%r.configuration.symbols.includeAssignmentsInBlocks.description%"
},
"positron.r.workspaceSymbols.includeCommentSections": {
Copy link
Contributor

@juliasilge juliasilge Jul 24, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

So all of these settings that we have here in this extension that include positron in their names need to be changed, since all settings are Positron settings. What will need to happen is that we:

Can we avoid adding more to this future task by changing the setting string? I would suggest ark.workspaceSymbols.includeCommentSections since all the smarts are coming from ark.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The ark. prefix sounds good. But do we really want to spread the settings across two different sections in the Settings page in the interim?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Worth noting that these ark settings will probably have to migrate to a new namespace again within the next year when the LSP becomes independent of the kernel.

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We chatted elsewhere and cannot come up with a good alternative that will keep us from needing to migrate in the future. So we'll just take our lumps here, and sign up for more future pain. 😭

@lionel- lionel- merged commit cdcb585 into feature/symbols-top-level Jul 29, 2025
4 checks passed
@lionel- lionel- deleted the feature/workspace-symbols-comment-sections branch July 29, 2025 06:32
@github-actions github-actions bot locked and limited conversation to collaborators Jul 29, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants