Skip to content

Code mining adds interline space under the line on Windows #195

Description

@lesquoyb

Describe the bug
With code mining activated, I often see the lines with info or warning being displayed weirdly. We can especially see that there is some "useless" space added under the line:
image
And depending on displays, it sometimes even feels like there's another empty line under, which is very confusing

To Reproduce
Steps to reproduce the behavior:

  1. Make sure you have code mining activated
  2. write any line of code that causes a warning or info
  3. See error

Expected behavior
The line is displayed normally

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

About UIThis is an UI-related issue or requestOS WindowsThis issue is specific to Windows

Type

No type

Projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions