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

Feature/gate library manager #595

Merged
merged 144 commits into from
Oct 29, 2024
Merged

Feature/gate library manager #595

merged 144 commits into from
Oct 29, 2024

Conversation

joern274
Copy link
Contributor

No description provided.

HerrKermet and others added 30 commits November 23, 2023 15:54
Added FlipFlop-Widget to gatelibrary_manager
Added close button to gatelibrary_manager to get back to previous screen
Added docstrings
Added PinItem and PinModel class to display pins
Added PinDelegate
Added setter to pin_item
Added functions to create or rename Pins or PinGroups in pin_model
Added check for Invalidgroups
Delegate will now set its content to model data
Added TODO'S
Implemented method to set group direction based on its pins
Added TODO for found bug
non editable pin_model will not show dummy entries
added delete button functionality in the pins-page
neoneela and others added 24 commits September 26, 2024 21:56
…gate library at first save implemented to be chosen by user
@joern274 joern274 merged commit 3ad0a0e into master Oct 29, 2024
4 checks passed
@joern274 joern274 deleted the feature/GateLibraryManager branch October 29, 2024 15:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants