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

Use the OOUI loader instead of Mermaid dots #58

Open
bitsofmymind opened this issue Oct 5, 2020 · 2 comments
Open

Use the OOUI loader instead of Mermaid dots #58

bitsofmymind opened this issue Oct 5, 2020 · 2 comments
Labels
enhancement

Comments

@bitsofmymind
Copy link

Using the loading visual from MediaWiki's OOUI library (oo-ui-pendingElement-pending) rather than 3 blinking dots would provide more visual cohesion with the rest of the interface.

I can submit a pull request for there is interest for this improvement.
@kghbln
Copy link
Member

kghbln commented Oct 6, 2020

@bitsofmymind Thanks for suggesting. @JeroenDeDauw Any objections to a pull ...

@JeroenDeDauw
Copy link
Member

Sounds good to me but really a question for @mwjames

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@JeroenDeDauw @kghbln @bitsofmymind