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

Misc. cleanups #158

Closed
wants to merge 12 commits into from
Closed

Misc. cleanups #158

wants to merge 12 commits into from

Conversation

jamesdabbs
Copy link
Member

@jamesdabbs jamesdabbs commented Jun 8, 2024

Cleans up various deprecation and build warnings and does some minor cleanup and refactoring on touched files.

Testing Notes

  • Search examples and formula autocomplete suggestions look and are clickable as normal
  • Citation text is appropriately responsive
  • External / internal references in bodies render correctly

@jamesdabbs jamesdabbs self-assigned this Jun 8, 2024
Copy link

cloudflare-workers-and-pages bot commented Jun 8, 2024

Deploying topology with  Cloudflare Pages  Cloudflare Pages

Latest commit: 526ea9d
Status:⚡️  Build in progress...

View logs

@@ -17,7 +17,7 @@ jobs:

# https://github.com/pnpm/action-setup
- name: Install pnpm
uses: pnpm/action-setup@v2
uses: pnpm/action-setup@v4
Copy link
Member Author

Choose a reason for hiding this comment

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

The previous action versions were deprecated and did not support new versions of node.

@@ -30,6 +30,14 @@
color: #fff;
}

.example {
Copy link
Member Author

Choose a reason for hiding this comment

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

For a11y reasons, the examples should be clickable elements. This should preserve the previous styling.

@jamesdabbs jamesdabbs changed the base branch from jcd/vscode to main June 17, 2024 00:34
@jamesdabbs
Copy link
Member Author

Sim. this was merged in with #160

@jamesdabbs jamesdabbs closed this Jun 17, 2024
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