Another place int he preferences dialog that needed to be fixed for hidpi

This commit is contained in:
Kovid Goyal 2016-08-25 20:44:48 +05:30
parent 34684813c5
commit ae0ccff893

View File

@ -11,7 +11,7 @@ from collections import OrderedDict
from PyQt5.Qt import ( from PyQt5.Qt import (
Qt, QIcon, QFont, QWidget, QScrollArea, QStackedWidget, QVBoxLayout, Qt, QIcon, QFont, QWidget, QScrollArea, QStackedWidget, QVBoxLayout,
QLabel, QFrame, QToolBar, QSize, pyqtSignal, QPixmap, QDialogButtonBox, QLabel, QFrame, QToolBar, QSize, pyqtSignal, QDialogButtonBox,
QHBoxLayout, QDialog, QSizePolicy, QPainter, QTextLayout, QPointF, QHBoxLayout, QDialog, QSizePolicy, QPainter, QTextLayout, QPointF,
QStatusTipEvent, QApplication) QStatusTipEvent, QApplication)
@ -88,8 +88,7 @@ class TitleBar(QWidget):
self.show_msg() self.show_msg()
def show_plugin(self, plugin=None): def show_plugin(self, plugin=None):
self.pmap = QPixmap(I('lt.png') if plugin is None else plugin.icon).scaled(ICON_SIZE, ICON_SIZE, self.pmap = (QIcon(I('lt.png') if plugin is None else plugin.icon)).pixmap(ICON_SIZE, ICON_SIZE)
Qt.KeepAspectRatio, Qt.SmoothTransformation)
self.icon.setPixmap(self.pmap) self.icon.setPixmap(self.pmap)
self.title.setText('<h1>' + (_('Preferences') if plugin is None else plugin.gui_name)) self.title.setText('<h1>' + (_('Preferences') if plugin is None else plugin.gui_name))