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.

Sign up for GitHub

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

Jump to bottom

Add Help and Discord to command palette #4752

Merged
merged 5 commits into from Jan 9, 2024
Merged

Add Help and Discord to command palette #4752

merged 5 commits into from Jan 9, 2024

Conversation

emilk
Copy link
Member

@emilk emilk commented Jan 9, 2024 •
edited by github-actions bot

What

You can now open the help web site and visit the Rerun Discord from the command pallette.

Checklist

  • I have read and agree to Contributor Guide and the Code of Conduct
  • I've included a screenshot or gif (if applicable)
  • I have tested the web demo (if applicable):
  • The PR title and labels are set such as to maximize their usefulness for the next release's CHANGELOG

@emilk emilk added ui concerns graphical user interface 📺 re_viewer affects re_viewer itself include in changelog labels Jan 9, 2024
@Wumpf Wumpf self-requested a review January 9, 2024 14:38
Wumpf
Wumpf approved these changes Jan 9, 2024
View reviewed changes
crates/re_ui/src/command_palette.rs Outdated Show resolved Hide resolved
@emilk @Wumpf
disambiguate "frame"
528e1f1 
Co-authored-by: Andreas Reich <andreas@rerun.io>
@emilk emilk merged commit cff545f into main Jan 9, 2024
21 of 27 checks passed
@emilk emilk deleted the emilk/help-command branch January 9, 2024 15:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Wumpf Wumpf Wumpf approved these changes

Assignees
No one assigned
Labels
include in changelog 📺 re_viewer affects re_viewer itself ui concerns graphical user interface
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Add an easy-to-find help menu with links to Docs and Discord
2 participants
@emilk @Wumpf