Skip to content

Conversation

@meganrogge
Copy link
Contributor

@meganrogge meganrogge commented Mar 14, 2023

fixes #174079

@meganrogge meganrogge marked this pull request as draft March 14, 2023 16:23
@meganrogge meganrogge self-assigned this Mar 14, 2023
@meganrogge meganrogge added this to the March 2023 milestone Mar 14, 2023
@meganrogge meganrogge requested a review from Tyriar March 14, 2023 16:23
@meganrogge meganrogge changed the title add go to symbol for terminal accessible buffer add go to command for terminal accessible buffer Mar 14, 2023
@meganrogge meganrogge marked this pull request as ready for review March 14, 2023 19:00
@Tyriar
Copy link
Member

Tyriar commented Mar 14, 2023

for restored terminals, the marker is one line off per restoration of what it should be.

I'm not aware of this, sounds like a separate issue though. I'd expect it to reproduce when using cmd+up/down to navigate between commands?

Comment on lines 120 to 122
if (this._inQuickPick) {
return;
}
Copy link
Member

Choose a reason for hiding this comment

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

Why is this needed? I wouldn't expect the editor to get focused when the quick pick is up, and if it was, wouldn't it hide?

@meganrogge meganrogge requested a review from Tyriar March 15, 2023 14:51
Tyriar
Tyriar previously approved these changes Mar 15, 2023
…/terminalAccessibleBuffer.ts

Co-authored-by: Daniel Imms <[email protected]>
@meganrogge meganrogge enabled auto-merge (squash) March 15, 2023 14:56
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add symbol provider for terminal accessible buffer

3 participants