Le 21/09/2015 09:57, Guenter Milde a écrit :
I agree that selecting stuff in a formula can be quite tricky.
However, there is one important reason speaking against more padding:
If you press the space bar inside mathed, this has the effect of an
"escape"¹ but it does *not* insert whitespace. This is easily overlooked
already with the current display, adding a padding makes it even harder
to detect if the formula is followed by whitespace or directly by text.
Note that our padding is AFAIK done in absolute pixel size. Using a
length that depends on DPI and zoom (like some em value) would probably
improve the situation a lot.
JMarc
