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.

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

Something's wrong with tip windows #321

Closed
klayoutmatthias opened this issue Aug 15, 2019 · 0 comments

Comments

@klayoutmatthias
Copy link
Collaborator

commented Aug 15, 2019

At least the "marker not visible" tip does not go away when markers are made visible.

Related forum entry is: https://www.klayout.de/forum/discussion/1301/layer-properties-file-path#latest

klayoutmatthias added a commit that referenced this issue Aug 17, 2019
Fixed issue #321
This is a small paradigm shift in the configuration hierarchy:
plugins (as children of root) now inherit the configuration
from the parent - now only through configure, but also through
config_get (pull with config_get vs. push with configure).

TODO: both methods are not entirely consistent as configure
can block propagation of configuration settings. But that's a
feature hardly used anyway and rather an optimization thing.
klayoutmatthias added a commit that referenced this issue Aug 18, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
1 participant
You can’t perform that action at this time.