Skip to content

Conversation

@hamidahoderinwale
Copy link
Collaborator

@hamidahoderinwale hamidahoderinwale commented Nov 27, 2024

Theory-specific help button in the toolbar that directs to link as a theory property.

@github-actions
Copy link

github-actions bot commented Nov 27, 2024

@epatters epatters changed the title new toolbar with theory help Button to get help about the active theory Dec 3, 2024
@epatters epatters added documentation Improvements or additions to documentation enhancement New feature or request frontend TypeScript frontend and Rust-wasm integrations labels Dec 3, 2024
Copy link
Member

@epatters epatters left a comment

Choose a reason for hiding this comment

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

Thanks Hamidah! Can you add a help page for at least one theory, even if it's a stub, so that we can test? As it stands, I can't easily tell whether this works.

@hamidahoderinwale
Copy link
Collaborator Author

hamidahoderinwale commented Dec 3, 2024 via email

@hamidahoderinwale hamidahoderinwale marked this pull request as draft December 11, 2024 01:20
@hamidahoderinwale hamidahoderinwale marked this pull request as ready for review December 17, 2024 03:50
Copy link
Member

@epatters epatters left a comment

Choose a reason for hiding this comment

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

Thanks Hamidah! Can you add a sample page again so that we can test that this works?

hamidahoderinwale and others added 2 commits December 20, 2024 14:28
new toolbar with theory help

remove nested directory, linted and formatted

additions

mdx rendering

final commit: MDX rendering now works

test theory documentation

docstring addition and theory help function move

Only a single help button will appear depending on whether a theory help page exists or not

build error fixes
Also restore help button to diagram and analysis pages.
@epatters epatters merged commit f74dcc2 into main Dec 20, 2024
10 checks passed
@epatters epatters deleted the newtoolbar branch December 20, 2024 23:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation enhancement New feature or request frontend TypeScript frontend and Rust-wasm integrations

Projects

No open projects
Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants