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

Add option to filter out geometric primitives from Marker Database Browser Info widget #1430

Closed
EugeneZelenko opened this issue Jul 24, 2023 · 2 comments · Fixed by #1434
Closed

Add option to filter out geometric primitives from Marker Database Browser Info widget #1430

EugeneZelenko opened this issue Jul 24, 2023 · 2 comments · Fixed by #1434
Assignees
@klayoutmatthias
Labels
enhancement
Milestone
0.28.11

Comments

@EugeneZelenko
Copy link
Contributor

It makes sent to have possibility to filter out geometric primitives (included in value) from Marker Database Browser Info widget. Main purpose of geometrical primitives is to show them in layout view and they only interfere with text.
@klayoutmatthias klayoutmatthias self-assigned this Jul 29, 2023
@klayoutmatthias klayoutmatthias added this to the 0.28.11 milestone Jul 29, 2023
@klayoutmatthias klayoutmatthias modified the milestones: 0.28.11, 0.28.10 Jul 29, 2023
@klayoutmatthias
Copy link
Collaborator

The solution is a new switch here:
image

When unchecked, shapes are not listed:
image

The setting is persisted and can be configured through the "rdb-list-shapes" configuration property.

klayoutmatthias pushed a commit that referenced this issue Jul 29, 2023
Fixed issue #1430 (Add option to filter out geometric primitives from…
8051e43 
… Marker Database Browser Info widget)
@EugeneZelenko
Copy link
Contributor Author

EugeneZelenko commented Jul 29, 2023 •
edited

Hi, Matthias!

Thank you for fast implementation!

@klayoutmatthias klayoutmatthias linked a pull request Jul 29, 2023 that will close this issue
Fixed issue #1430 (Add option to filter out geometric primitives from… #1434
Merged
klayoutmatthias added a commit that referenced this issue Jul 30, 2023
@klayoutmatthias
Merge pull request #1434 from KLayout/issue-1430
39fd811 
Fixed issue #1430 (Add option to filter out geometric primitives from…
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.11
Development

Successfully merging a pull request may close this issue.

Fixed issue #1430 (Add option to filter out geometric primitives from… KLayout/klayout
2 participants
@EugeneZelenko @klayoutmatthias