We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
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
If document statistics are enabled they are displayed at the bottom of the text editor view.
This means the last line of text in the current viewport is obstructed by the statistics.
I think it would be best to make the statistics not part of the text editor pane somehow or maybe make them have some margin to the text editor view.
Slightly related to #291
The text was updated successfully, but these errors were encountered:
Increase the bottom margin for text info
04e691a
This makes sure that the text info (current line, text statistics) do not override the document's text. Fixes retext-project#333
Move the statistics aerea to the right side of the editor
8d89e1e
Fixes retext-project#333
This is a nice solution that will work in almost every situation. Thanks!
Sorry, something went wrong.
No branches or pull requests
If document statistics are enabled they are displayed at the bottom of the text editor view.
This means the last line of text in the current viewport is obstructed by the statistics.
I think it would be best to make the statistics not part of the text editor pane somehow or maybe make them have some margin to the text editor view.
Slightly related to #291
The text was updated successfully, but these errors were encountered: