On Tuesday, April 14, 2015 at 10:58:16 PM UTC+2, martin....@gmx.net wrote:
>
> I don't mind additional arguments with a higher level of abstraction. But
> if you want "show" as a preview to "save" (as in methods 3 and 4), then
> "show" should support all the options "save" does.
>
Typically your UI doesn't have viewers for all kinds of files that you
might be able to produce, so it just can't. It might not even make sense,
e.g. save() can also save python pickles. Why should show() have a switch
to distinguish between gif87a and gif89a? They look the same. If for some
reason only one of them can be shown by the UI then the right one should be
picked automatically.
If you want to micromanage the output down to a level that makes no visual
difference then IMHO you should just save the particular file that you
want. With #17942 you could then even immediately display the file
(assuming that the UI can) using graphics.save('filename.png').show()
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
