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

Add descriptions to error page #283

Open
a0eoc opened this issue Nov 17, 2023 · 0 comments
Open

Add descriptions to error page #283

a0eoc opened this issue Nov 17, 2023 · 0 comments
Assignees
Labels
enhancement New feature or request

Comments

@a0eoc
Copy link
Member

a0eoc commented Nov 17, 2023

They're almost in place already. Just some search and some non-code changes needed.
Will be very useful.

@a0eoc a0eoc added the enhancement New feature or request label Nov 17, 2023
@a0eoc a0eoc self-assigned this Nov 17, 2023
a0eoc added a commit to a0eoc/userstyles.world that referenced this issue Nov 19, 2023
Some notes:
- I have checked that we don't leak anything in .Error but not as thoroughly as I probably should;
- It would be good to make some errors more precise before shipping this.

ref userstyles-world#283
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant