Skip to content

Finer-grained library API #2172

@klayoutmatthias

Description

@klayoutmatthias

We would need the following API extensions for Library:

lib.name = new_lib_def.lib_name   # not in API

or

lib.rename(new_lib_def.lib_name)   # not in API

and

lib.unregister()

Metadata

Metadata

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions