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

Move common parts of editor and terminal hover widget into base ui #97834

Merged
merged 12 commits into from May 14, 2020

Conversation

Tyriar
Copy link
Member

@Tyriar Tyriar commented May 14, 2020

Part of #97496

The goal of this PR is to have the editor and terminal hover widgets share as much code as possible, which doesn't end up being that much. At least now terminal depends on CSS in base rather than the editor.

The plan is to follow this up with a new hover service in the workbench that will move more of the terminal hover there and simplify lifecycle management/ease of use in other parts of the workbench that want to use the fancy hovers (tabs and GH issue).

@Tyriar Tyriar added this to the May 2020 milestone May 14, 2020
@Tyriar Tyriar requested a review from alexdima May 14, 2020 18:03
Copy link
Member

@alexdima alexdima left a comment

Choose a reason for hiding this comment

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

I've removed the inheritance and did a couple of renames to avoid mentioning the editor or the terminal in base. LGTM.

@Tyriar Tyriar merged commit cb63d2d into master May 14, 2020
@Tyriar Tyriar deleted the tyriar/97496 branch May 14, 2020 19:54
@github-actions github-actions bot locked and limited conversation to collaborators Jun 28, 2020
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.

None yet

2 participants