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

Scroll Area #3000

Closed
s9ferech opened this issue Jun 9, 2021 · 1 comment
Closed

Scroll Area #3000

s9ferech opened this issue Jun 9, 2021 · 1 comment
Assignees
@s9ferech

Comments

@s9ferech
Copy link
Contributor

s9ferech commented Jun 9, 2021

General Summary

Define a "scroll area" display object that can be used to implement the scrolling in the file browser (#1065).

This depends on scroll bars (PR enso-org/ide#1614) and clipping (Issue #2325) to be completed.

Motivation
@s9ferech s9ferech self-assigned this Jun 9, 2021
@s9ferech
Copy link
Contributor Author

s9ferech commented Aug 5, 2021

This has been implemented a while ago by PR enso-org/ide#1614, just without the clipping.

@s9ferech s9ferech closed this as completed Aug 5, 2021
@mwu-tow mwu-tow transferred this issue from enso-org/ide Oct 28, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@s9ferech s9ferech

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@s9ferech