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

Various improvements #27

Merged
merged 5 commits into from
Oct 15, 2020
Merged

Various improvements #27

merged 5 commits into from
Oct 15, 2020

Conversation

kidonng
Copy link
Contributor

@kidonng kidonng commented Aug 8, 2020

  • Inherit icon class and use proper icon size (16px height)
  • Fix compatibility with Refined GitHub's edit-files-faster feature
  • Use selector-observer to replace GitHub file tree icons (we are using this package in Refined GitHub and it's better than manually create a MutationObserver)

@s-weigand s-weigand mentioned this pull request Oct 3, 2020
Merged
@kidonng kidonng changed the title Various improvments Various improvements Oct 3, 2020
@dderevjanik
Copy link
Owner

@kidonng please, could you resolve merge conflicts ?

@dderevjanik dderevjanik mentioned this pull request Oct 15, 2020
Merged
@dderevjanik
Copy link
Owner

Nice, thank you very much 👍 🚀

@dderevjanik dderevjanik merged commit 3049bf9 into dderevjanik:master Oct 15, 2020
@kidonng kidonng mentioned this pull request Sep 17, 2021
Closed
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@kidonng @dderevjanik