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

Repair misc. issues in linking dialog for trees #50

Merged
merged 1 commit into from
Dec 31, 2023

Conversation

skieffer
Copy link
Member

  • When linking to a tree at a numbered version:

    • We need to replace @ and . chars with chars acceptable in HTML class names and id's.
  • When linking to a tree at any version:

    • We were failing to reject the case where we were already linked to that tree.
    • We were failing to generate one checkbox when there were exactly two alternatives, both of which were trees.

* When linking to a tree at a numbered version:
  - We need to replace `@` and `.` chars with chars acceptable in
    HTML class names and id's.

* When linking to a tree at any version:
  - We were failing to reject the case where we were already linked to that tree.
  - We were failing to generate one checkbox when there were exactly two
    alternatives, both of which were trees.
@skieffer skieffer merged commit 4f175f4 into proofscape:main Dec 31, 2023
3 checks passed
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.

1 participant