1 | initial version |
See the source code (this is version 4.8).
pole_options = {}
pole_options['linestyle'] = '--'
pole_options['thickness'] = 1
pole_options['rgbcolor'] = '#ccc'
Unfortunately, I think that the only way to change these options right now is to change it in your actual plot file! You can go into your Sage installation's devel/sage/sage/plot/plot.py
file and search for these lines, and then just change them, start Sage with the command line option sage -br
and hopefully a thicker line would be available.
I've opened Ticket 12921 for this issue.