Fix high dpi rendering of splash screen

This commit is contained in:
Kovid Goyal 2016-08-30 09:45:54 +05:30
parent 3f434bee3f
commit db2fdbc4a9

View File

@ -165,7 +165,10 @@ class SplashScreen(QSplashScreen):
def __init__(self): def __init__(self):
self.drawn_once = False self.drawn_once = False
QSplashScreen.__init__(self, QPixmap(I('library.png'))) QSplashScreen.__init__(self)
pmap = QPixmap(I('library.png'))
pmap.setDevicePixelRatio(getattr(self, 'devicePixelRatioF', self.devicePixelRatio)())
self.setPixmap(pmap)
self.setWindowTitle(__appname__) self.setWindowTitle(__appname__)
def drawContents(self, painter): def drawContents(self, painter):