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.

Sign up for GitHub

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

Jump to bottom

[markers] [problems] annoying scroll when there are no markers #3474

Closed
vince-fugnitto opened this issue Nov 13, 2018 · 0 comments
Closed

[markers] [problems] annoying scroll when there are no markers #3474

vince-fugnitto opened this issue Nov 13, 2018 · 0 comments
Assignees
@vince-fugnitto
Labels
problems issues related to the problems widget

Comments

@vince-fugnitto
Copy link
Member

Similar to #3470
@vince-fugnitto vince-fugnitto added the problems issues related to the problems widget label Nov 13, 2018
@vince-fugnitto vince-fugnitto self-assigned this Nov 13, 2018
vince-fugnitto added a commit that referenced this issue Nov 13, 2018
@vince-fugnitto
Fix unwanted scroll in problems view when there are no markers
0534258 
Fixes #3474

Signed-off-by: Vincent Fugnitto <vincent.fugnitto@ericsson.com>
This was referenced Nov 13, 2018
Merged
Closed
paul-marechal pushed a commit that referenced this issue Nov 13, 2018
@vince-fugnitto @paul-marechal
Fix unwanted scroll in problems view when there are no markers
5d91e29 
Fixes #3474

Signed-off-by: Vincent Fugnitto <vincent.fugnitto@ericsson.com>
bogthe pushed a commit to ARMmbed/theia that referenced this issue Jan 21, 2019
@vince-fugnitto
Fix unwanted scroll in problems view when there are no markers
0f52a3a 
Fixes eclipse-theia#3474

Signed-off-by: Vincent Fugnitto <vincent.fugnitto@ericsson.com>
Signed-off-by: Bogdan Stolojan <petre.stolojan@arm.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@vince-fugnitto vince-fugnitto

Labels
problems issues related to the problems widget
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@vince-fugnitto