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

chore: remove underscores from menuitem and menu #6567

Merged
merged 3 commits into from
Oct 25, 2022

Conversation

rachel-fenichel
Copy link
Collaborator

@rachel-fenichel rachel-fenichel commented Oct 18, 2022

The basics

  • I branched from develop
  • My pull request is against develop
  • My code follows the style guide
  • I ran npm run format and npm run lint

The details

Resolves

Part of #6548

Proposed Changes

Behavior Before Change

No change

Behavior After Change

No change

Reason for Changes

Cleanup

Test Coverage

Mocha tests + opened up the playground and checked that right-click menus and dropdown menus work.

Documentation

Additional Information

Also add type narrowing checks to remove some uses of anyDuringMigration.

@rachel-fenichel rachel-fenichel requested a review from a team as a code owner October 18, 2022 23:41
@github-actions github-actions bot added the PR: chore General chores (dependencies, typos, etc) label Oct 18, 2022
@github-actions github-actions bot added PR: chore General chores (dependencies, typos, etc) and removed PR: chore General chores (dependencies, typos, etc) labels Oct 25, 2022
Comment on lines +395 to +397
const keyboardEvent = e as KeyboardEvent;
if (keyboardEvent.shiftKey || keyboardEvent.ctrlKey ||
keyboardEvent.metaKey || keyboardEvent.altKey) {
Copy link
Contributor

Choose a reason for hiding this comment

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

I added a note to the PR description to mention this helpful removal of anyDuringMigration.

@rachel-fenichel rachel-fenichel merged commit a46e12b into google:develop Oct 25, 2022
@rachel-fenichel rachel-fenichel deleted the update_menuitem branch October 25, 2022 15:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
PR: chore General chores (dependencies, typos, etc)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants