Skip to content

Use the selected code for code search.#2154

Merged
colinator27 merged 4 commits intoUnderminersTeam:masterfrom
VladiStep:useSelectionInCodeSearch
Jun 23, 2025
Merged

Use the selected code for code search.#2154
colinator27 merged 4 commits intoUnderminersTeam:masterfrom
VladiStep:useSelectionInCodeSearch

Conversation

@VladiStep
Copy link
Copy Markdown
Member

@VladiStep VladiStep commented Jun 19, 2025

Description

Closes #2143.

@github-actions
Copy link
Copy Markdown

github-actions bot commented Jun 19, 2025

@colinator27
Copy link
Copy Markdown
Member

Think this should be fine to merge (pending testing), but will need conflicts resolved first.

@VladiStep
Copy link
Copy Markdown
Member Author

0 conflicts

Ummm, okay
image

@VladiStep
Copy link
Copy Markdown
Member Author

VladiStep commented Jun 23, 2025

I guess it was a new line (line endings) differency

Copy link
Copy Markdown
Member

@colinator27 colinator27 left a comment

Choose a reason for hiding this comment

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

Did a quick test on my end, and it seems to work well!

@colinator27 colinator27 merged commit 5759b6d into UnderminersTeam:master Jun 23, 2025
5 checks passed
@VladiStep VladiStep deleted the useSelectionInCodeSearch branch June 28, 2025 19:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

When using "Find in code" (Ctrl+Shift+F), use the selection from the code editor.

2 participants