Dear co-users,

New smart lines styles #7 to #10 were defined 3-4 years ago:

However, the default grid_style == #3 has not been improved.
Being aware that better styles are available, this makes me setting by
hand the grid_style almost every time that i need it. Somewhat boring...

I propose to change the default style to one of the new values #7 to #9.
The full rational for this proposal is posted as bug
where a piece of code is available, to test and compare.

The related screen shot is here:

Comments are welcome

Best regards

users mailing list

Reply via email to