search

gama-platform / gama

Main repository for developing the 2024+ versions of GAMA
https://gama-platform.org
GNU General Public License v3.0
20 stars 5 forks source link

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

Open lesquoyb opened 4 months ago

lesquoyb commented 4 months ago

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