-
Notifications
You must be signed in to change notification settings - Fork 183
refactor(editor): refactor search panel #759
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Merged
Merged
Changes from all commits
Commits
Show all changes
16 commits
Select commit
Hold shift + click to select a range
d4c49f9
Update types
ije e805f02
Fix selection range rendering
ije 6bd8a4e
Fix selection range rendering
ije a63cd64
Add `roundedSelection` option
ije 292fc8c
Add jsDocs
ije e523b65
Use 'editorCursor.foreground' color
ije b5fdf1d
refactor(editor): refactor search panel
ije ff893c6
Fix
ije a7fb9bf
Merge branch 'editor/rounded-selection' into editor/search-highlight
ije ab0c111
Fix close button
ije 6ebfda5
fix
ije 7f639cb
Use parseInt
ije 6d1a69a
Merge branch 'editor/rounded-selection' into editor/search-highlight
ije 5764eae
Merge branch 'beta-1.3' into editor/search-highlight
ije d3de82c
Fix typing with multiple cursor
ije 75d88a0
Fix hightlight
ije File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
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
Oops, something went wrong.
Oops, something went wrong.
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.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Not for this PR, but I would love to get this file moved into a normal css file so we can run it through our various linters and stuff. I think it would also be nice to figure out a way to figure out how to make it a re-usable stylesheet like we do here:
https://github.com/pierrecomputer/pierre/blob/main/packages/diffs/src/components/web-components.ts