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

Feature request: hide empty groups #1324

Closed
arjanmels opened this issue Mar 31, 2023 · 0 comments · Fixed by #1370
Closed

Feature request: hide empty groups #1324

arjanmels opened this issue Mar 31, 2023 · 0 comments · Fixed by #1370
Assignees
@klayoutmatthias
Labels
enhancement
Milestone
0.28.8

Comments

@arjanmels
Copy link

Currently empty layers are hidden when this option is slected in the context menu.
However all groups/parents remain visible.
It would be desirable to also hide the groups/parents when the entire group is empty.
klayoutmatthias pushed a commit that referenced this issue May 13, 2023
Implemented fix for issue #1324
33d16a1
@klayoutmatthias klayoutmatthias self-assigned this May 13, 2023
@klayoutmatthias klayoutmatthias added this to the 0.28.8 milestone May 13, 2023
@klayoutmatthias klayoutmatthias linked a pull request May 13, 2023 that will close this issue
Implemented fix for issue #1324 #1370
Merged
klayoutmatthias added a commit that referenced this issue May 13, 2023
@klayoutmatthias
Merge pull request #1370 from KLayout/issue-1324
8423616 
Implemented fix for issue #1324
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@klayoutmatthias klayoutmatthias

Labels
enhancement
Projects
None yet
Milestone
0.28.8
Development

Successfully merging a pull request may close this issue.

Implemented fix for issue #1324 KLayout/klayout
2 participants
@klayoutmatthias @arjanmels