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

The error button in the text editor might be covered by the highlighting of the current line #85

Closed
magjac opened this issue Sep 26, 2018 · 1 comment
Closed

The error button in the text editor might be covered by the highlighting of the current line #85

magjac opened this issue Sep 26, 2018 · 1 comment
Assignees
@magjac
Labels
bug Something isn't working

Comments

@magjac
Copy link
Owner

magjac commented Sep 26, 2018

If there is an error in the DOT source, an error button is displayed in the upper right corner of the text editor. If the cursor is on the first or second line, the button is partly covered by the current line highlighting.
@magjac magjac added the bug Something isn't working label Sep 26, 2018
@magjac magjac self-assigned this Sep 26, 2018
@magjac magjac changed the title The error button in the text edtiro might be covered by the highlighting of the current line The error button in the text editor might be covered by the highlighting of the current line Sep 26, 2018
@magjac
Copy link
Owner Author

magjac commented Sep 26, 2018

Fixed by fa87ede

@magjac magjac closed this as completed Sep 26, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@magjac magjac

Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@magjac