Re: [sage-devel] Changing default resolution du 300dpi instead of 100

2010-12-27 Thread Robert Bradshaw
On Mon, Dec 27, 2010 at 11:48 AM, Nathann Cohen wrote: > Hello !! > >> What pictures are you looking at? > > Things like those : > > sage: graphs.PetersenGraph().show() > sage: graphs.RandomGNP(20,.3).show() > > I do not use the notebook, and when I display those pictures I usually > toggle my pic

Re: [sage-devel] Changing default resolution du 300dpi instead of 100

2010-12-27 Thread Nathann Cohen
Hello !! > What pictures are you looking at? Things like those : sage: graphs.PetersenGraph().show() sage: graphs.RandomGNP(20,.3).show() I do not use the notebook, and when I display those pictures I usually toggle my picture viewer to fullscreen... At this level, the pictures I see are not th

Re: [sage-devel] Changing default resolution du 300dpi instead of 100

2010-12-27 Thread Robert Bradshaw
On Sat, Dec 25, 2010 at 3:06 AM, Nathann Cohen wrote: > Hello everybody ! > > I am trying to improve a bit Sage's display of graphs, and lurking > through the different options it gives I found out about the dpi > keyword. Then I went to the file sage/plot/plot.py to see the default > value of thi

[sage-devel] Changing default resolution du 300dpi instead of 100

2010-12-25 Thread Nathann Cohen
Hello everybody ! I am trying to improve a bit Sage's display of graphs, and lurking through the different options it gives I found out about the dpi keyword. Then I went to the file sage/plot/plot.py to see the default value of this parameter was currently 100. I initially intended just to just t