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

polish refresh #373

Merged
merged 2 commits into from
May 20, 2019
Merged

polish refresh #373

merged 2 commits into from
May 20, 2019

Conversation

sssoleileraaa
Copy link
Contributor

@sssoleileraaa sssoleileraaa commented May 15, 2019

Resolves #310

Small change to make the three refresh-related icons all the same size. The click area around the button isn't as large as it used to be now. Last refresh is now Last Refresh.

@heartsucker
Copy link
Contributor

When I click the refresh icon, it appears to get smaller than the unclicked version. Is this the expected behavior?

@sssoleileraaa
Copy link
Contributor Author

sssoleileraaa commented May 15, 2019

@heartsucker - nina pointed that out to me today also! Here are the things we agreed on that I need to update in the PR:

  • use latest static refresh icon (different design and optimized svg)
  • resize and position active icon so that the pointer perfectly overlaps and covers the pointer of the static refresh icon (for a smooth look and feel)

@sssoleileraaa sssoleileraaa force-pushed the refresh-polish branch 2 times, most recently from 1cba94a to 52f3138 Compare May 16, 2019 20:06
@redshiftzero
Copy link
Contributor

redshiftzero commented May 16, 2019

[after out of band discussion, we're holding off on merging this one until we can run it past @ninavizz in the UX review]

Copy link
Contributor

@redshiftzero redshiftzero left a comment

Choose a reason for hiding this comment

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

LGTM

@redshiftzero redshiftzero merged commit b8baa47 into master May 20, 2019
@redshiftzero redshiftzero deleted the refresh-polish branch May 20, 2019 18:34
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.

Polish refresh widget styling
3 participants