Repository navigation
Add full-repo search to the web UI - #22
Merged
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
/opens a search dialog, the same key as the terminal UI.tabswitches between the files in the diff and the whole repo, and results are grouped by file with line numbers. Enter opens the hit. If the diff doesn't show that line, the cursor goes to the nearest line it does show. Files outside the diff open read-only in the full file view, with no comments or mark-reviewed. It's also in the command palette and the shortcut overlay.It uses the existing
/api/search, so there are no server changes. Split view also gets line anchors, which fixesctrl+gnever scrolling there. The version goes to 0.11.0.The last two commits fix the test suite for linked worktrees. Inside a pre-push hook, git exports
GIT_DIR, which pointed the temp-repo fixtures at the real repository. The same commits are on #23 and #24.