Skip to content
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

Find widget search history per editor instance #234208

Closed
wants to merge 131 commits into from

Conversation

osortega
Copy link
Contributor

Second iteration of the find widget persistent search history.
This PR adds a new option to save the history per editor instance as opposed to the whole workspace.

lszomoru
lszomoru previously approved these changes Nov 19, 2024
chrmarti and others added 29 commits November 25, 2024 17:16
Tmp solution for untitled editors dnd
…ion (#234559)

* fix an issue with navigating changed

* change navigation depends on currently navigated to value, not selection

re microsoft/vscode-copilot#10682
* fix #234547

* fix tests
* #84756 Support object type policy

* add new policy object for array and object

* add new policy object type

* checkin policies.js file

* review

* fix warning

---------

Co-authored-by: João Moreno <[email protected]>
…r better async handling (#234574)

* Refactor update methods in ChatSetupContextKeys to return promises for better async handling

* .
Only support regular inline decorations on GPU for now
…4582)

* Refactor property names

* Add template support

* Refactor template variable names

* Manually fix the merge
Render lines to the alphabetic baseline
Don't clobber other view events with final one
… change

Line mapping is the cause of the problems with folding, for decorations
we only want to invalidate the up to date lines cache since it won't
affect other lines afaict.

Fixes #234614
Part of #234214
Handle line mapping changed and don't update buffers after decoration change
@osortega osortega closed this Nov 26, 2024
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.