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

Set editor font in a such a way that it doesn't need to be reset by widgets (e.g. find widget) #5972

Closed
alexdima opened this issue Apr 29, 2016 · 3 comments
Assignees
Labels
debt Code quality issues verified Verification succeeded
Milestone

Comments

@alexdima
Copy link
Member

e.g. #5154 (comment)

@alexdima alexdima self-assigned this Apr 29, 2016
@alexdima alexdima added the debt Code quality issues label Apr 29, 2016
@alexdima alexdima added this to the May 2016 milestone Apr 29, 2016
@alexdima
Copy link
Member Author

alexdima commented May 6, 2016

@bpasero Since I don't force it on widgets anymore, I removed the font declarations from the obvious places. We should track these places in separate debt issues going to the owners of those widgets.

@bpasero
Copy link
Member

bpasero commented May 6, 2016

Filed: #6171, #6170 and #6169

@alexdima alexdima added the verified Verification succeeded label May 27, 2016
@vscodebot vscodebot bot locked and limited conversation to collaborators Nov 18, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
debt Code quality issues verified Verification succeeded
Projects
None yet
Development

No branches or pull requests

2 participants