Increase the bottom margin for text info #334
Conversation
This makes sure that the text info (current line, text statistics) do not override the document's text. Fixes retext-project#333
|
Sorry but I’m not a fan of this. My initial idea was having the info area that does not take any vertical space. It was semi-transparent and the text to the left of it was visible. The statistics area did not play well with that design, but your change makes it even further from it. |
|
I understand your point of view. Do you see any other way to place the text statistics ? I thought maybe it could be displayed as a popup on demand (instead of having it displayed and computed all the time). What do you think? |
|
Yes, that would be better. Or maybe move the statistics area to the right (there is usually less text on the right size), and additionally add some hack for the last line in the file hack to get #333 fixed? |
|
@mitya57 When you say move it to the right, do you imagine stacking the cursor info and stats info, or have them both on the right, one after the other ? |
|
Maybe one above the other, maybe to the left from it. No strong opinion on this. |
|
Did the one above the other on the right side in #338 |
This makes sure that the text info (current line, text statistics) do
not override the document's text.
Fixes #333