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

Error Notification Style #2110

Merged
merged 1 commit into from Dec 11, 2020
Merged

Error Notification Style #2110

merged 1 commit into from Dec 11, 2020

Conversation

lkiesow
Copy link
Member

@lkiesow lkiesow commented Nov 28, 2020 •
edited

This patch is a tiny style adjustment to the error notifications which
had barely any space at the bottom, potentially cutting into some
characters.

Screenshot from 2020-11-04 02-06-03

Your pull request should…

@lkiesow
Error Notification Style
c70bfb9 
This patch is a tiny style adjustment to the error notifications which
had barely any space at the bottom, potentially cutting into some
characters.
@lkiesow lkiesow added ELAN Pull requests originating from ELAN e.V. bug labels Nov 28, 2020
@gregorydlogan gregorydlogan self-assigned this Dec 11, 2020
@gregorydlogan gregorydlogan merged commit 6d8341c into opencast:r/9.x Dec 11, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@gregorydlogan gregorydlogan

Labels
bug ELAN Pull requests originating from ELAN e.V.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@lkiesow @gregorydlogan