You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
# the true dots per inch on the screen; should be display dependent
45
44
# see http://groups.google.com/groups?q=screen+dpi+x11&hl=en&lr=&ie=UTF-8&oe=UTF-8&safe=off&selm=7077.26e81ad5%40swift.cs.tcd.ie&rnum=5 for some info about screen dpi
46
-
PIXELS_PER_INCH=96
45
+
#PIXELS_PER_INCH = 96
47
46
48
47
# Image formats that this backend supports - for FileChooser and print_figure()
0 commit comments