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

Shapes clipping (also HTML viz z-index support) #2325

Closed
wdanilo opened this issue Jun 3, 2020 · 0 comments
Closed

Shapes clipping (also HTML viz z-index support) #2325

wdanilo opened this issue Jun 3, 2020 · 0 comments
Assignees
@wdanilo

Comments

@wdanilo
Copy link
Member

wdanilo commented Jun 3, 2020

General Summary

Ability to display several panels, like several graph editors in such way that their content is "cut" to the right size when rendering. Please see linked issues to learn more about use cases. Moreover, it should be used for HTML visualizations to bring them to front (cutting holes in WebGL).

Specification

This should be done by wise usage of GLScissors or stencils. To be discussed before the task.
@wdanilo wdanilo self-assigned this Jun 3, 2020
@wdanilo wdanilo changed the title Render size management for panels. Render size management for panels and visualizations. Jun 3, 2020
@wdanilo wdanilo changed the title Render size management for panels and visualizations. Shapes clipping (also HTML viz z-index support) Jul 17, 2020
@mwu-tow mwu-tow transferred this issue from enso-org/ide Oct 28, 2021
@s9ferech s9ferech mentioned this issue Oct 28, 2021
Closed
@wdanilo wdanilo closed this as completed Apr 14, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@wdanilo wdanilo

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@wdanilo