Improve fonts settings on windows
Hardcode a size in the UI. This is not optimal buf for the moment I can't do better. Also, use yet another font for the delete buttons.
This commit is contained in:
parent
0237b6222c
commit
32c6395d40
@ -106,10 +106,16 @@ if __name__ == "__main__":
|
|||||||
ui.setupUi(form)
|
ui.setupUi(form)
|
||||||
if sys.platform.startswith('win'):
|
if sys.platform.startswith('win'):
|
||||||
winFont = 'Cambria'
|
winFont = 'Cambria'
|
||||||
ui.lstHistory.setFont(QtGui.QFont(winFont))
|
size = 12
|
||||||
ui.txtMultiQuery.setFont(QtGui.QFont(winFont))
|
increment = 4
|
||||||
ui.txtQuery.setFont(QtGui.QFont(winFont))
|
symbolFont = 'Segoe UI Symbol'
|
||||||
ui.groupOperators.setFont(QtGui.QFont(winFont))
|
form.setFont(QtGui.QFont('Dejavu Sans',size))
|
||||||
|
ui.lstHistory.setFont(QtGui.QFont(winFont,size+increment))
|
||||||
|
ui.txtMultiQuery.setFont(QtGui.QFont(winFont,size+increment))
|
||||||
|
ui.txtQuery.setFont(QtGui.QFont(winFont,size+increment))
|
||||||
|
ui.groupOperators.setFont(QtGui.QFont(winFont,size+increment))
|
||||||
|
ui.cmdClearMultilineQuery.setFont(QtGui.QFont(symbolFont))
|
||||||
|
ui.cmdClearQuery.setFont(QtGui.QFont(symbolFont))
|
||||||
|
|
||||||
form.restore_settings()
|
form.restore_settings()
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user