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

Restyle Merge updates to other branch #42

Closed
wants to merge 3 commits into from
Closed

Conversation

restyled-io[bot]
Copy link

@restyled-io restyled-io bot commented Jul 16, 2024

Automated style fixes for #41, created by Restyled.

The following restylers made fixes:

To incorporate these changes, merge this Pull Request into the original. We
recommend using the Squash or Rebase strategies.

NOTE: As work continues on the original Pull Request, this process will
re-run and update (force-push) this Pull Request with updated style fixes as
necessary. If the style is fixed manually at any point (i.e. this process finds
no fixes to make), this Pull Request will be closed automatically.

Sorry if this was unexpected. To disable it, see our documentation.

Copy link

what-the-diff bot commented Jul 16, 2024

PR Summary

  • Modification of various SVG Icons
    The fill color of several SVG icons in the chrome directory has been updated - namely bookmarks-fill.svg, bookmarks.svg, close.svg, and reload2.svg. This change could lead to a noticeable difference in the appearance of these icons when implemented in the user interface.

  • Update on readme.md File
    The formatting style of a note present in the readme.md file was altered. This makes the document more efficient and easier to read.

  • Changes to User Preferences in user.js
    Significant changes have been made to the user.js file, including the addition and modification of several Firefox configuration user preferences. This could lead to improved user interaction and experiences.

@TanvirOnGH TanvirOnGH closed this Jul 16, 2024
@TanvirOnGH TanvirOnGH deleted the restyled/dev branch July 16, 2024 17:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants