Skip to content

Renaming UI elements#687

Merged
AdrianDAlessandro merged 6 commits intomainfrom
renaming-ui-elements
Apr 15, 2026
Merged

Renaming UI elements#687
AdrianDAlessandro merged 6 commits intomainfrom
renaming-ui-elements

Conversation

@AdrianDAlessandro
Copy link
Copy Markdown
Collaborator

@AdrianDAlessandro AdrianDAlessandro commented Apr 14, 2026

Description

This PR is for renaming a bunch of UI elements and urls for consistency. There are essentially no functional changes except that some old URLs will be dead now, but they are all internally consistent. The only new change is that there is a new framework overview page.

TODO:

  • @anenadic to fill detail in the framework overview page.

Fixes #684 - opening in draft until the overview page is populated

Type of change

  • Documentation (non-breaking change that adds or improves the documentation)
  • New feature (non-breaking change which adds functionality)
  • Optimization (non-breaking, back-end change that speeds up the code)
  • Technical work (non-breaking, change which is work as part of a new feature)
  • Bug fix (non-breaking change which fixes an issue)
  • Breaking change (whatever its nature)

Key checklist

  • All tests pass (eg. python -m pytest)
  • The documentation builds and looks OK (eg. mkdocs serve)
  • Pre-commit hooks run successfully (eg. pre-commit run --all-files)

Further checks

  • Code is commented, particularly in hard-to-understand areas
  • Tests added or an issue has been opened to tackle that in the future. (Indicate issue here: # (issue))

@codecov
Copy link
Copy Markdown

codecov Bot commented Apr 14, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@AdrianDAlessandro AdrianDAlessandro marked this pull request as ready for review April 15, 2026 14:22
Copy link
Copy Markdown
Contributor

@anenadic anenadic left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks great - thank you @AdrianDAlessandro.

I'll add an issue / PR to tidy up css for the mermaid SVG element.

@AdrianDAlessandro AdrianDAlessandro merged commit 985275a into main Apr 15, 2026
5 checks passed
@AdrianDAlessandro AdrianDAlessandro deleted the renaming-ui-elements branch April 15, 2026 14:23
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.

Tidy names in model and UI

2 participants