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

Split Search Editor search box display not kept in sync #91492

Closed
gregvanl opened this issue Feb 25, 2020 · 5 comments
Closed

Split Search Editor search box display not kept in sync #91492

gregvanl opened this issue Feb 25, 2020 · 5 comments
Assignees
Milestone

Comments

@gregvanl
Copy link

gregvanl commented Feb 25, 2020

  • VSCode Version: 1.43 Insiders
  • OS Version: Windows 10

Found while testing #91331

Steps to Reproduce:

  1. Open the vscode-docs repo and create an empty Search Editor
  2. Search for "VSCode" and set Match Case and Match Whole Word
  3. Split the Search Editor and change the right side to "VSCodex"

You see no results in either Search Editor but the left search box is not updated and still shows "VSCode". If you go to another editor and come back to the left Search Editor is correctly shows "VSCodex" used for the search.

If you change the right side back to "VSCode", the right side displays matches but the left side stay empty.

@gregvanl
Copy link
Author

The left side empty results is scrolled up slightly and you can't see the "No Results" message

image

@JacksonKearl
Copy link
Contributor

Yeah, splitting a search editor is strange. I almost feel like it should just create two identical but non-synced editors.

@gregvanl
Copy link
Author

Yep, that is what I initially expected, that the two would be decoupled. Split text editors are coupled so I then assumed that was the working model.

@JacksonKearl JacksonKearl added this to the March 2020 milestone Feb 27, 2020
@JacksonKearl
Copy link
Contributor

JacksonKearl commented Mar 8, 2020

Been looking into this and I'm not sure a good fix is in the books just yet.

Splitting a search editor is a strange operation and I'm as of yet not sure what the desired outcome should be. In my mind, you'd split the search editor to maybe compare results between two similar searches, or keep one set intact while removing results from the other. So the contents should be initially the same, but not synced. Unfortunately thats not really possible with the current model of splitting, and I don't want to special case search editors into the core editor split logic.

The weirdness where the other editor will sometimes scroll all the way down is unfortunate but looking at it I believe it will require quite a bit more work than it's worth to fix, again because of the lower-level nature of the split editor code.

Going to keep this open for now and see if more users hit it.

@JacksonKearl JacksonKearl modified the milestones: March 2020, Backlog Mar 8, 2020
@JacksonKearl JacksonKearl modified the milestones: Backlog, April 2020 Apr 9, 2020
@JacksonKearl
Copy link
Contributor

With 379e732 the editor can no longer be split. (split command will open an empty group instead)

@github-actions github-actions bot locked and limited conversation to collaborators May 24, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

2 participants