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

Tidy up hovers some #1360

Closed
PEZ opened this issue Oct 23, 2021 · 0 comments
Closed

Tidy up hovers some #1360

PEZ opened this issue Oct 23, 2021 · 0 comments
Labels
ux User experience related

Comments

@PEZ
Copy link
Collaborator

PEZ commented Oct 23, 2021

The documentation hovers are a bit messy. They format the docs as preformatted text, making them strange to read. Also we could tell in the hover wether it's a macro or not, and wether it is both a special form and a macro. It will make it clearer why you can navigate to some special forms, but not others.

@PEZ PEZ added the ux User experience related label Oct 23, 2021
@PEZ PEZ mentioned this issue Oct 23, 2021
12 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ux User experience related
Projects
None yet
Development

No branches or pull requests

1 participant