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

fix: page hover font style #1535

Merged
merged 1 commit into from
Apr 8, 2023
Merged

fix: page hover font style #1535

merged 1 commit into from
Apr 8, 2023

Conversation

Agility6
Copy link
Contributor

@Agility6 Agility6 commented Apr 7, 2023

Summary about this PR

Issue Number: close #1534

Tests Check List

  • Unit test
  • Integration test
  • Manual test (add detailed scripts or steps below)
  • No code

Changelog

  • New Feature
  • Bug Fix
  • Performance Improvement
  • Build/Testing/CI/CD
  • Documentation
  • Not for changelog (changelog entry is not required)

Documentation

  • Affects user behaviors
  • Contains syntax changes
  • Contains variable changes
  • Contains experimental features

before

2023-04-07.12-27-01.mp4

after

2023-04-07.12-26-25.mp4

@CLAassistant
Copy link

CLAassistant commented Apr 7, 2023 •
edited
Loading

CLA assistant check
All committers have signed the CLA.

@mergify
Copy link
Contributor

mergify bot commented Apr 7, 2023

Thanks for the contribution!
I have applied any labels matching special text in your PR Changelog.

Please review the labels and make any necessary changes.

@mergify mergify bot added the PR-bug bug for pull request label Apr 7, 2023
@RingsC
Copy link
Contributor

RingsC commented Apr 7, 2023

@Agility6 ， pls sign the CLA firstly.

RingsC
RingsC approved these changes Apr 7, 2023
View reviewed changes
Copy link
Contributor

@RingsC RingsC left a comment

Choose a reason for hiding this comment

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

LGTM, thanks.

@RingsC RingsC requested a review from Nliver April 7, 2023 10:02
Nliver
Nliver approved these changes Apr 7, 2023
View reviewed changes
Copy link
Collaborator

@Nliver Nliver left a comment

Choose a reason for hiding this comment

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

LGTM

@Nliver Nliver merged commit 65e7c25 into stoneatom:stonedb-5.7-dev Apr 8, 2023
@Nliver Nliver added this to the stonedb_5.7_v1.0.4 milestone Apr 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@RingsC RingsC RingsC approved these changes

@Nliver Nliver Nliver approved these changes

Assignees

@Agility6 Agility6

Labels
PR-bug bug for pull request
Projects
StoneDB for MySQL 5.7
Status: Done
Milestone
StoneDB_5.7_v1.0.4
Development

Successfully merging this pull request may close these issues.

bug: Page hover font style
4 participants
@Agility6 @CLAassistant @RingsC @Nliver