Closed AntonPieper closed 1 year ago
Sometimes it is useful to see which line you are on.
There probably are some people that like the minimalistic look without line numbers, therefore I also added an option to the settings page to turn it off.
Sometimes it is useful to see which line you are on.
There probably are some people that like the minimalistic look without line numbers, therefore I also added an option to the settings page to turn it off.