Bo Peng wrote: >> just revert the silly thing... >> > I would like to state again that: > > 1. this patch is used to help identifying spaces around mathed, and > find 'disappearing' mathed like $\ $;
if you want to show spaces then you should show spaces not the space around the spaces > 5. the *only* visible change is the showing of corners with mouse > hovering i think i made clear why this is not such a good idea > But, of course, because I see about the same numbers of + and -'s, I > will revert it if Jose decides so. since you're counting: on a tie it shouldn't have gone in on the first place