UI/PixmapCache.py

changeset 6772
b48db2a31d21
parent 6756
7556c951dce8
child 6787
3de088ae0782
diff -r bcffbb627791 -r b48db2a31d21 UI/PixmapCache.py
--- a/UI/PixmapCache.py	Sat Feb 16 17:02:46 2019 +0100
+++ b/UI/PixmapCache.py	Sat Feb 16 17:22:24 2019 +0100
@@ -42,7 +42,7 @@
         if key:
             basename, ext = os.path.splitext(key)
             if size and not size.isEmpty():
-                key = "{0}_{1}_{2}"
+                key = "{0}_{1}_{2}".format(size.width(), size.height())
             else:
                 key = basename
             

eric ide

mercurial