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

paste.rs #62

Closed
1 task done
sgoudham opened this issue Feb 13, 2023 · 2 comments · Fixed by #73
Closed
1 task done

paste.rs #62

sgoudham opened this issue Feb 13, 2023 · 2 comments · Fixed by #73

Comments

@sgoudham
Copy link
Contributor

@Stonks3141 has made a port for paste.rs: https://github.com/Stonks3141/paste.rs
It's ready to review!

Discussed in catppuccin/catppuccin#1915

Originally posted by Stonks3141 February 11, 2023

Will you make the port?

  • Yes, I'm willing to make the port

How can the requested port be themed?

Stylus

Has the requested port been themed already?

https://github.com/Stonks3141/paste.rs

Any additional comments?

No response

@sgoudham
Copy link
Contributor Author

Note
We are putting userstyle issues on hold while catppuccin/community#4 is being discussed.

@sgoudham
Copy link
Contributor Author

Hiya 👋

I'm happy to announce that ports which are themed with Stylus (called "Userstyles") now live over at https://github.com/catppuccin/userstyles. This means that your existing work will have to be transformed into a pull request to that repository.

Please follow the documentation detailed here on how to create a userstyle.

I'll be transferring this issue to the userstyles repository as they will not be reviewed here anymore. Thank you for your patience during this process!

@sgoudham sgoudham transferred this issue from catppuccin/catppuccin Jul 20, 2023
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 a pull request may close this issue.

2 participants