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
# 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
46
PIXELS_PER_INCH=96
47
47
48
+
# Hide the benign warning that it can't stat a file that doesn't
49
+
warnings.filterwarnings('ignore', '.*Unable to retrieve the file info for.*', gtk.Warning)
0 commit comments