User 870ab5b546
08-07-2015 18:28:37
A while back, I complained that the + sign in Marvin JS was too small, and sometimes the vertical bar was invisible, making it look like a – sign. In Marvin JS 15.6.29, you seem to have solved that problem -- thanks! But now the – sign is too small. See the screen shot. Please use an en dash, not a hyphen, for the – sign.