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

[navigator] annoying scroll when no workspace present #3470

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

[navigator] annoying scroll when no workspace present #3470

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

Comments

@vince-fugnitto
Copy link
Member

There is an annoying scroll present in the navigator widget when no workspace is present.
It'd be better to remove the scroll for a better user experience.

scroll
@vince-fugnitto vince-fugnitto added the navigator issues related to the navigator/explorer 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 navigator when no workspace is present
b86a86d 
Fixes #3470

Signed-off-by: Vincent Fugnitto <vincent.fugnitto@ericsson.com>
This was referenced Nov 13, 2018
Merged
Closed
Closed
paul-marechal pushed a commit that referenced this issue Nov 13, 2018
@vince-fugnitto @paul-marechal
Fix unwanted scroll in navigator when no workspace is present
6ff541f 
Fixes #3470

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 navigator when no workspace is present
413647a 
Fixes eclipse-theia#3470

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
navigator issues related to the navigator/explorer
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@vince-fugnitto